Author

Kim Guldstrand Larsen

5 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

5 books
Computer aided verification

Computer aided verification

Year unknown
Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

Year unknown Kim Guldstrand Larsen, Oleg Sokolsky, and Ji Wang
Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Year unknown Kim Guldstrand Larsen and Tim Willemse
Tools and Algorithms for the Cons...

Tools and Algorithms for the Construction and Analysis of Systems

Year unknown Jan Friso Groote and Kim Guldstrand Larsen
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Year unknown Deepak D'Souza, Akash Lal, and Kim Guldstrand Larsen

Fetched from OpenLibrary. Some translations may appear as separate works.