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