| langue originale | Français |
|---|---|
| Pages (de - à) | 55-58 |
| Nombre de pages | 4 |
| journal | ACM Sigsoft Software Engineering Notes (SEN) |
| Volume | 15 |
| Numéro de publication | 4 |
| Etat de la publication | Publié - 1990 |
Applying VDM to large developments
Yves Ledru, Pierre-Yves Schobbens
Résultats de recherche: Contribution à un journal/une revue › Article