An experiment in formal software development : Using the B theorem prover on a VDM case study

Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens

Research output: Contribution to journalArticle

Original languageEnglish
JournalCommunications of the ACM
Volume34
Issue number5
Publication statusPublished - 1991

Cite this