The VDM Principles of Software Specification and Program Design |
| | Type | Conference paper [With referee] | | Conference | TC2 Work.Conf. on Formalisation of Programming Concepts, Peniscola, Spain | | Year | 1981 pp. 44-74 | | Publisher | Springer | | Address | Lecture notes in computer science, vol. 107 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|