An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study.

Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens

Browse the full ICSE paper archive.