Julien Bertrane

Static Analysis and Verification of Aerospace Software by Abstract Interpretation