Runtime Verification
by Borzoo Bonakdarpour, Scott A. Smolka
Computer software, verificationComputer software, testingSoftware engineeringComputer scienceComputer softwareLogic designAlgorithm Analysis and Problem ComplexityLogics and Meanings of Programs
Writing a summary for young readers…
For young readers
Book data: Open Library