Kim Guldstrand Larsen
Kim Guldstrand Larsen
3 books in the database
Books
Computer aided verificationKim Guldstrand Larsen
Computer aided verification
Kim Guldstrand Larsen · 1992
Formal Methods for Industrial Critical SystemsKim Guldstrand Larsen
Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen · 2019
Dependable Software Engineering. Theories, Tools, and ApplicationsKim Guldstrand Larsen
Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen · 2017
Co-authored books and collections
Books that list Kim Guldstrand Larsen among their authors but not as the lead author: co-written works, collections and compilations.
Verification, Model Checking, and Abstract InterpretationDeepak D'Souza
Verification, Model Checking, and Abstract Interpretation
Deepak D'Souza · 2014
Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote · 2021