| Original language | English |
|---|---|
| Journal | Communications of the ACM |
| Volume | 34 |
| Issue number | 5 |
| Publication status | Published - 1991 |
Cite this
Lafontaine, C., Ledru, Y., & Schobbens, P-Y. (1991). An experiment in formal software development : Using the B theorem prover on a VDM case study. Communications of the ACM, 34(5).
@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",
}
Lafontaine, C, Ledru, Y & Schobbens, P-Y 1991, 'An experiment in formal software development : Using the B theorem prover on a VDM case study', Communications of the ACM, vol. 34, no. 5.
An experiment in formal software development : Using the B theorem prover on a VDM case study. / Lafontaine, Christine; Ledru, Yves; Schobbens, Pierre-Yves.
In: Communications of the ACM, Vol. 34, No. 5, 1991.Research output: Contribution to journal › Article
TY - JOUR
T1 - An experiment in formal software development : Using the B theorem prover on a VDM case study
AU - Lafontaine, Christine
AU - Ledru, Yves
AU - Schobbens, Pierre-Yves
PY - 1991
Y1 - 1991
M3 - Article
VL - 34
JO - Communications of the ACM
JF - Communications of the ACM
SN - 0001-0782
IS - 5
ER -
Lafontaine C, Ledru Y, Schobbens P-Y. An experiment in formal software development : Using the B theorem prover on a VDM case study. Communications of the ACM. 1991;34(5).