Compositional Safety Logics

Kim Guldstrand Larsen, J. H. Andersen

Research output: Book/ReportBookResearch

Original languageEnglish
Place of PublicationÅrhus : Daimi
PublisherDepartment of Computer Science, Aarhus University
Publication statusPublished - 1997
SeriesBRICS Report Series

Cite this

Larsen, K. G., & Andersen, J. H. (1997). Compositional Safety Logics. Department of Computer Science, Aarhus University. BRICS Report Series, No. RS-97-13