4 public-domain matches

Architecture Verification And Validation

Cover of Computer Aided Verification

Computer Aided Verification

Unknown author

Cover of Formal Methods

Formal Methods

Unknown author

Cover of Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Unknown author

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Unknown author