langue originale | Anglais |
---|---|
titre | VDM'90: VDM and Z! |
Pages | 370-398 |
Nombre de pages | 29 |
Volume | 428 |
Etat de la publication | Publié - 1990 |
Two approaches towards the formalisation of VDM
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque