Applying VDM to large developments

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationConference Proceedings on Formal Methods in Software Development 1990
PublisherACM Press
Pages55-58
Number of pages4
ISBN (Electronic)0897914155, 9780897914154
DOIs
Publication statusPublished - 1 Apr 1990
Externally publishedYes
Event1990 ACM SIGSOFT International Workshop on Formal Methods in Software Development, IWFMSD 1990 - Napa, United States
Duration: 9 May 199011 May 1990

Conference

Conference1990 ACM SIGSOFT International Workshop on Formal Methods in Software Development, IWFMSD 1990
CountryUnited States
CityNapa
Period9/05/9011/05/90

Cite this