Leveraging Applications of Formal Methods, Verification and Validation. Verification
by Tiziana Margaria, Bernhard Steffen
Computer software, validationComputer software, verification
Writing a summary for young readers…
For young readers
Book data: Open Library