Publications Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference Matthieu Journault PDF
