An Experiment in Formal Software-development - Using the B-theorem Prover On a Vdm Case-study

Lafontaine, C.; Ledru, Y.; Schobbens, PY.

doi:10.1145/103167.103174

An Experiment in Formal Software-development - Using the B-theorem Prover On a Vdm Case-study

Lafontaine, C.

;

Ledru, Y.

;

Schobbens, PY.

(1991) INTERNATIONAL CONF ON SOFTWARE ENGINEERING ( ICSE 12 ) — Location: NICE(France) (March.1990)

Files

No attached file found for this publication.

Details

Authors

Lafontaine, C.
Author
Ledru, Y.
Author
Schobbens, PY.
Author

Affiliations

UCLouvainAutre

Citations

APA
Chicago
FWB

Lafontaine, C., Ledru, Y., & Schobbens, PY. (1991). An Experiment in Formal Software-development - Using the B-theorem Prover On a Vdm Case-study. Communications of the ACM, 34(5), 62. https://doi.org/10.1145/103167.103174 (Original work published 1991)