by Edmund M. Clarke , Thomas A. Henzinger , Helmut Veith , Roderick Bloem
No reviews yet. Be the first!
Model Checking, Second Edition
Logic for Programming Artificial Intelli...