Model checking
by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled
DatenverarbeitungssystemComputersystemenEngenharia de softwareModellenVerificação e validação de softwareVérificationModel CheckingVerification
Writing a summary for young readers…
For young readers
Book data: Open Library