Base System Verification

Anders Gammelgaard, Hans Henrik Løvengreen, Camilla Østerberg Rump, Jørgen F. Søgaard-Andersen

Research output: Book/ReportReport

Original languageEnglish
PublisherDepartment of Computer Science, Technical University of Denmark
Publication statusPublished - 1991

Cite this

Gammelgaard, A., Løvengreen, H. H., Rump, C. Ø., & Søgaard-Andersen, J. F. (1991). Base System Verification. Department of Computer Science, Technical University of Denmark.