Skip to content
Vinony

Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques

by Tiziana Margaria, Bernhard Steffen

Cover of Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques

No description available.

Robots, programmingMachine learningComputer software, verification