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