Verification, Model Checking, and Abstract Interpretation
Lenore D. Zuck, Paul D. Attie, Agostino Cortesi
₹5,662
Author
Books by Lenore D. Zuck
Showing 1–1 of 1 books
Author
Showing 1–1 of 1 books
Lenore D. Zuck, Paul D. Attie, Agostino Cortesi
₹5,662