An experiment in formal software development
Christine Lafontaine, Yves Ledru, Pierre‐Yves Schobbens · Communications of the ACM · 1991
article Free AccessAn experiment in formal software development: using the B theorem prover on a VDM case study Authors: Christine Lafontaine Univ. Catholique de Louvain, Louvain-La-Neuve, Belgium Univ. Catholique de Louvain, Louvain-La-Neuve, BelgiumView Profile , Yves Ledru Univ. Catholique de Louvain, Louvain-La-Neuve, Belgium Univ. Catholique de Louvain, Louvain-La-Neuve, BelgiumView Profile , Pierre-Yves Schobbens Univ. Catholique de Louvain, Louvain-La-Neuve, Belgium Univ. Catholique de Louvain, Louvain-La-Neuve, BelgiumView Profile Authors Info & Claims Communications of the ACMVolume 34Issue 5May 1991 pp 62–ff.https://doi.org/10.1145/103167.103174Published:01 May 1991Publication History 5citation408DownloadsMetricsTotal Citations5Total Downloads408Last 12 Months8Last 6 weeks4 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF