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 journal › Article

Cite this

@article{6545c05a65564d6bb2820928552c0e37,

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

author = "Christine Lafontaine and Yves Ledru and Pierre-Yves Schobbens",

year = "1991",

language = "English",

volume = "34",

journal = "Communications of the ACM",

issn = "0001-0782",

publisher = "ACM Press",

number = "5",

}