C program proofs with Frama-C and its WP plugin [pdf]https://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf by andrewchambers • 7 years ago 2 0 7 years agoALallan-blanchard.fr