Formal Verification of Control System Software by Pierre-Loic Garoche

Formal Verification of Object-oriented Software : International Conference, F...

FAST SHIP Design Patterns Elements of Reusable ObjectOriented Software By Erich

Formal Verification of Object-oriented Software : International Conference, F...

Software Verification and Validation: A (Artech House Computer Library (Hard...

Software Prototyping, Formal Methods, and VDM (International Computer Science)

Beckert - Formal Verification of Object-Oriented Software Internatio - X555z

Leveraging Applications of Formal Methods, Verification, Margaria, Steffen SC