6 works on record
Modeling and verification of real-time systems
Formal systems specification
Temporal logic and state systems
Formal Methods and Software Engineering
Integrated Formal Methods
Interactive Theorem Proving
