Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr

Formal Methods in Software And Systems Modeling, Paperback by Kreowski, Hans-...

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicate

Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Gul

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner a