Software Engineering Aspects of {VDM}}
Type
Book [Chapter]
Book title
Theory and Practice of Software Technology
Editors
D. Ferrari
Year
1983
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering