Join the Goodreads Author Program

Are you Stephan Merz, author of the books below?
Modeling and Verification of Real-time Systems by Stephan Merz Formal Methods and Software Engineering by Stephan Merz Temporal Logic and State Systems by Fred Kröger Formal Methods and Software Engineering by Stephan Merz Practical Applications of Sensors by André Migeon Integrated Formal Methods by Dominique Mery Modeling and Verification of Real-time Systems by Nicolas Navet Formal Systems Specification by Manfred Broy Interactive Theorem Proving by Jasmin Christian Blanchette Modeling and Verification of Real-time Systems by Nicolas Navet


To join the author program as Stephan Merz, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads