Verification, Model Checking, and Abstract Interpretation
- ISBN
- 9783540305798
Verification, Model Checking, and Abstract Interpretation is a vérification, verification book by Radhia Cousot.
Discover Verification, Model Checking, and Abstract Interpretation by Radhia Cousot, vérification.
About the Author
is the author of Verification, Model Checking, and Abstract Interpretation. Browse their full catalog on Booklogr.
Explore more books by Radhia Cousot →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation is a Vérification, Verification, Logiciels, Computer programs book.
Who wrote Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation was written by Radhia Cousot.