Julien Bertrane

• Static Analysis and Verification of Aerospace Software by Abstract Interpretation