| Original language | English |
|---|
| Publisher | Department of Computer Science, Technical University of Denmark |
|---|---|
| Publication status | Published - 1991 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Base System Verification
- Anders Gammelgaard
- , Hans Henrik Løvengreen
- , Camilla Østerberg Rump
- , Jørgen F. Søgaard-Andersen
Research output: Book/Report › Report › Research › peer-review