]
]
]
]
Publication
Applying VDM to large developments
| Auteur(s) | Yves LEDRU, Pierre-Yves SCHOBBENS |
| Unité(s) de recherche(s) |
Pôle sémantique, logique et calcul
PReCISE Research Center |
| Année | 1990 |
| Type | Articles de périodique |
| Langue | |
| Mots clés | |
| Résumé | |
| Versions électroniques |
Article de périodique
| Titre du périodique | ACM Sigsoft Software Engineering Notes (SEN) |
| Sous-titre du périodique | |
| Editeur scientifique | |
| Volume | 15 |
| Fascicule | 4 |
| Pages | 55 - 58 |
| Date de parution | Sept 1990 |
| Facteur d'impact | |
| Nombre de citations |
