]
]
]
]
Publication
An experiment in formal software development : Using the B theorem prover on a VDM case study
| Auteur(s) | Christine LAFONTAINE, Yves LEDRU, Pierre-Yves SCHOBBENS |
| Unité(s) de recherche(s) |
PReCISE Research Center
Pôle sémantique, logique et calcul |
| Année | 1991 |
| Type | Articles de périodique |
| Langue | Anglais |
| Editeur | ACM |
| Lieu d'édition | New York |
| Mots clés | |
| Résumé | |
| Versions électroniques |
Article de périodique
| Titre du périodique | Communications of the ACM |
| Sous-titre du périodique | |
| Editeur scientifique | |
| Volume | 34 |
| Fascicule | 5 |
| Pages | - |
| Date de parution | May 1991 |
| Facteur d'impact | |
| Nombre de citations |
