Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques
by Tiziana Margaria, Bernhard Steffen
Robots, programmingMachine learningComputer software, verification
Writing a summary for young readers…
For young readers
Book data: Open Library