Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Bernhard Steffen
,
Giorgio Levi
Details
OL Work ID
OL27317802W
Find this book
Open Library