Formal Specification and Software Development
Type
Book [Author]
Year
1982
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering