| Original language | English |
|---|
| Publisher | Department of Computer Science, Technical University of Denmark |
|---|---|
| Publication status | Published - 1991 |
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