Towards a Meaning of `M' in VDM |
|
| Type | Conference paper [With referee] |
| Conference | Formal Description of Programming Concepts |
| Editors | E.J. Neuhold and M. Paul |
| Year | 1991 pp. 137-258 |
| Publisher | SV |
| Series | IFIP State-of-the-Art Reports |
| Note | An IFIP TC2 Seminar, Persepolis, Brasil |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |