Formal, Model-oriented Software Development Methods: From VDM to ProCoS, and from RAISE to LaCoS
Type
Journal paper [With referee]
Journal
Future Generation Computer Systems
Year
1992
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering