Skip to content
Vinony

Stephan Merz

No biography available.

Works (5)

Cover of Formal Methods and Software Engineering
Formal Methods and Software Engineering
Cover of Interactive Theorem Proving
Interactive Theorem Proving
Cover of Formal systems specification
Formal systems specification
Cover of Modeling and verification of real-time systems
Modeling and verification of real-time systems
Cover of Temporal logic and state systems
Temporal logic and state systems