Home › Authors › Julien Bertrane 👤 Julien Bertrane 1 book Books by Julien Bertrane Static Analysis and Verificati Static Analysis and Verification of Aerospace Software by Abstract Interpretation 2015