A case study of C source code verification: the Schorr-Waite algorithm.

Thierry Hubert, Claude March

Browse the full SEFM paper archive.