Model Checking, Second Edition
by Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke
Sat (educational test)Models and modelmaking
Writing a summary for young readers…
For young readers
Book data: Open Library
by Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke
Book data: Open Library