Home > Authors > David Monniaux

David Monniaux

All books by David Monniaux

(Displaying 1 Book)

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani

Looking for another book by David Monniaux? Search for the book by title.