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

Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens

Résultats de recherche: Contribution à un journal/une revue › Article

Contient cette citation

@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",

publisher = "ACM Press",

number = "5",

}