Computer aided verification
by Nicolas Halbwachs, Doron Peled
Enginyeria del softwareDisseny lògicCongressosLlenguatges formalsComputer software, verificationComputer softwareCongressesVerification
Writing a summary for young readers…
For young readers
Book data: Open Library