Report
Base System Verification
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark1
Department of Informatics and Mathematical Modeling, Technical University of Denmark2
Department of Physics, Technical University of Denmark3
Department of Information Technology, Technical University of Denmark4
Language: | English |
---|---|
Publisher: | Department of Computer Science, Technical University of Denmark |
Year: | 1991 |
Types: | Report |
ORCIDs: | Løvengreen, Hans Henrik |