Home › Authors › Jérôme Feret 👤 Jérôme Feret 1 book Books by Jérôme Feret Static Analysis and Verificati Static Analysis and Verification of Aerospace Software by Abstract Interpretation 2015