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

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

}

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 journalArticle

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 -