Structuring Mechanisms in Formal Specification Languages | A. E. Haxthausen
| | Type | Ph.D. thesis [Academic thesis] | | Year | 1988 | | Publisher | Department of Computer Science, Technical University of Denmark | | ISBN / ISSN | ID-TR:1988-42 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|