Home › Authors › Radhia Cousot 👤 Radhia Cousot 2 books Books by Radhia Cousot Static Analysis and Verificati Static Analysis and Verification of Aerospace Software by Abstract Interpretation 2015 Verification, Model Checking, and Abstract Interpretation 2008
