Verification, Model Checking, and Abstract Interpretation

Lenore D. Zuck , Paul C. Attie , Agostino Cortesi