Stephan Merz
Stephan Merz
1 books in the database
Books
Co-authored books and collections
Books that list Stephan Merz among their authors but not as the lead author: co-written works, collections and compilations.
Integrated Formal MethodsDominique Méry
Integrated Formal Methods
Dominique Méry · 2010
Modeling and verification of real-time systemsNicolas Navet
Modeling and verification of real-time systems
Nicolas Navet · 2008
Temporal logic and state systemsFred Kröger
Temporal logic and state systems
Fred Kröger · 2008
Formal systems specificationM. Broy
Formal systems specification
M. Broy · 1996
Interactive Theorem ProvingJasmin Christian Blanchette
Interactive Theorem Proving
Jasmin Christian Blanchette · 2016
Modeling and Verification of Real-Time SystemsNicolas Navet
Modeling and Verification of Real-Time Systems
Nicolas Navet · 2013