What are you looking for?
Type in a subject, course or topic and discover helpful summaries, practice questions and more.
Verification, Model Checking, and Abstract Interpretation notes
View all 0 notes for Verification, Model Checking, and Abstract Interpretation, written by Dirk Beyer, Damien Zufferey. All Verification, Model Checking, and Abstract Interpretation notes, flashcards, summaries and study guides are written by your fellow students or tutors. Get yourself a Verification, Model Checking, and Abstract Interpretation summary or other study material that matches your study style perfectly, and studying will be a breeze.
ISBN
9783030393229
Publisher
Springer Nature
Language
en