Base System Verification |
| | Type | Technical report | | Year | 1991 | | Publisher | Department of Computer Science, Technical University of Denmark | | Series | ESPRIT Project ProCoS Report no. ID/DTH HHL 4/1 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|