Kim Guldstrand Larsen

No bio available. Add one in Open Library.

Books by Kim Guldstrand Larsen (50 max)

+ shelf+ list

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

2014

Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27-April 1, 2021, Proceedings, Part II

2021

Jan Friso Groote, Kim Guldstrand Larsen

+ shelf+ list

Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science)

1992

Kim Guldstrand Larsen

+ shelf+ list

Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, ...

2017

Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang

+ shelf+ list

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2019

Kim Guldstrand Larsen, Tim Willemse