Kim G. Larsen
0000-0002-5953-3384
Publications
860 total
No publications found.
Research Topics
Formal Methods in Verification
Software Testing and Debugging Techniques
Logic, programming, and type systems
Model-Driven Software Engineering Techniques
Software Reliability and Analysis Research
Affiliations
Aalborg University
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.