Verification, Model Checking, and Abstract Interpretation Lenore D. Zuck, Paul D. Attie, Agostino Cortesi 456,60 DKK See product
