Applying VDM to large developments

Research output: Contribution to journalArticle

Original languageFrench
Pages (from-to)55-58
Number of pages4
JournalACM Sigsoft Software Engineering Notes (SEN)
Volume15
Issue number4
Publication statusPublished - 1990

Cite this