langue originale | Anglais |
---|---|
journal | Communications of the ACM |
Volume | 34 |
Numéro de publication | 5 |
Etat de la publication | Publié - 1991 |
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