Kim Guldstrand Larsen

Identifiers

Open LibraryOL2772417A

Top Subjects

Computer science, mathematics (1)
Computer software, verification (1)
Science (1)
Computers - Languages / Programming (1)
Computers / Programming / Software Development (1)
Science/Mathematics (1)
Software engineering (1)

Books by Kim Guldstrand Larsen

Total count: 8

Reactive SystemsModelling, Specification and Verification

Cambridge University Press2003-01-01
Reactive SystemsModelling, Specification and Verification

Cambridge University Press2007-08-13
Principles of Model Checking

MIT Press2008-01-01
Verification, Model Checking, and Abstract Interpretation16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Springer London, Limited2014-01-01
Reachability Problems10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Springer2016-09-13
Dependable Software Engineering. Theories, Tools, and ApplicationsThird International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, ...

Springer2017-10-17
Formal Methods for Industrial Critical Systems24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Springer2019-07-25
Tools and Algorithms for the Construction and Analysis of Systems27th 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 I

Springer International Publishing AG2021-01-01