VDM - A Formal Method at Work
Editor(s):
Type
Book [Editorship]
Year
1987
Publisher
Springer
Series
Lecture Notes in Computer Science, Vol. 252
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering