langue originale | Anglais |
---|---|
titre | Proceedings of the 5th Australian Software Engineering Conference (ASWEC'90) |
Pages | 45-50 |
Nombre de pages | 6 |
Etat de la publication | Publié - 1990 |
Formalising methods: an experiment with VDM
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