Skip to content
Vinony

Leveraging Applications of Formal Methods, Verification and Validation

by Tiziana Margaria, Bernhard Steffen

Cover of Leveraging Applications of Formal Methods, Verification and Validation

No description available.

Computer software, verificationComputer software, validationSystem design