Formalising methods: an experiment with VDM

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

Original languageEnglish
Title of host publicationProceedings of the 5th Australian Software Engineering Conference (ASWEC'90)
Pages45-50
Number of pages6
Publication statusPublished - 1990

Cite this