Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - Springer Springer 2020

9783030614706

EBOOK
Copyright @ Delhi University Library System