Skip to content
Vinony

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

by Tiziana Margaria, Bernhard Steffen

Cover of Leveraging Applications of Formal Methods, Verification and Validation. Modeling

No description available.

Computer software, validationComputer software, verificationComputer science