Principles of model checking
Computer systemsVerificationComputer softwareSystems softwareComputer software, verificationQuality control & testing - programmingGeneral & miscellaneous computing
Writing a summary for young readers…
For young readers
Book data: Open Library