Validation and Verification of Formal Specifications in Object-Oriented Software

FAST SHIP Design Patterns Elements of Reusable ObjectOriented Software By Erich

Leveraging Applications of Formal Methods, Verification and Validation. Software

Leveraging applications of formal methods, verification and validation, Applicat

Leveraging Applications of Formal Methods, Verification and Validation: Technolo

Leveraging Applications of Formal Methods, Verification and Validation. Applicat

Leveraging Applications of Formal Methods, Verification and V... - 9783030034177

Thomson - Validation and Verification of Formal Specifications in Obje - X555z