Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
ISBN: 9783540436317

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

还没有评分