25 Years Of Model Checking History Achievements Perspectives
Logic designComputer scienceSoftware engineeringComputer systemsVerificationInformatiqueStructure logiqueGénie logiciel
Writing a summary for young readers…
For young readers
Book data: Open Library