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