by Helmut Veith
No reviews yet. Be the first!
Computer Aided Verification
Handbook of Model Checking
Computer Science Logic
25 Years of Model Checking
Model Checking, Second Edition
Logic For Programming Artificial Intelli...