Martin Leucker
Martin Leucker
3 books in the database
Books
Theoretical Aspects of Computing - ICTAC 2015Martin Leucker
Theoretical Aspects of Computing - ICTAC 2015
Martin Leucker · 2015
Theoretical Aspects of Computing - ICTAC 2009Martin Leucker
Theoretical Aspects of Computing - ICTAC 2009
Martin Leucker · 2009
Runtime VerificationMartin Leucker
Runtime Verification
Martin Leucker · 2008
Co-authored books and collections
Books that list Martin Leucker among their authors but not as the lead author: co-written works, collections and compilations.
Formal MethodsMarsha Chechik
Formal Methods
Marsha Chechik · 2023
Formal Methods in Outer SpaceEzio Bartocci
Formal Methods in Outer Space
Ezio Bartocci · 2021
Formal Methods : Applications and TechnologyLubos Brim
Formal Methods : Applications and Technology
Lubos Brim · 2007
Model-Based Testing of Reactive SystemsManfred Broy
Model-Based Testing of Reactive Systems
Manfred Broy · 2005