Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Barbara Jobstmann
,
K. Rustan M. Leino
Details
OL Work ID
OL25699720W
Subjects
Computer programs
Find this book
Open Library