A Programming Approach to Formal Methods Chris Casey

Programming Approach to Formal Methods (McGraw-Hill International Series in Sof

Simulation, Modeling, and Programming for Autonomous Robots: Second Internationa

Introduction to Programming with C++, Internationa

Practical Formal Methods with Vdm (McGraw Hill... - Andrews, Derek

Formal Methods for the Design of Real-Time Systems : Internationa

Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 Internationa

Verification, Model Checking, and Abstract Interpretation : 15th Internationa...