Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Manuel Hermenegildo
,
Gilles Barthe
Details
OL Work ID
OL26474209W
Find this book
Open Library