Base System Verification

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

Research output: Book/ReportReportResearchpeer-review

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

Cite this