C program proofs with Frama-C and its WP plugin [pdf] (allan-blanchard.fr) 2 points by andrewchambers 7y ago ↗ HN
0 comments
[ 3.0 ms ] story [ 11.9 ms ] threadNo comments yet.