Applying VDM to large developments

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

langue originaleAnglais
titreConference Proceedings on Formal Methods in Software Development 1990
EditeurACM Press
Pages55-58
Nombre de pages4
ISBN (Electronique)0897914155, 9780897914154
Les DOIs
Etat de la publicationPublié - 1 avr. 1990
Modification externeOui
Evénement1990 ACM SIGSOFT International Workshop on Formal Methods in Software Development, IWFMSD 1990 - Napa, États-Unis
Durée: 9 mai 199011 mai 1990

Une conférence

Une conférence1990 ACM SIGSOFT International Workshop on Formal Methods in Software Development, IWFMSD 1990
Pays/TerritoireÉtats-Unis
La villeNapa
période9/05/9011/05/90

Contient cette citation