Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications
by Tiziana Margaria, Bernhard Steffen
Software engineeringComputer science
Writing a summary for young readers…
For young readers
Book data: Open Library