Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Thomas Wies
,
Bernd Finkbeiner
Details
OL Work ID
OL27084460W
Find this book
Goodreads
Open Library