Participants : Daniel Le Métayer
Nous formons une action (avec le groupe de D. Bolignano) dans le cadre du GIE Bull-Inria Dyade. Le thème de cette collaboration est la preuve de propriétés de sécurité des programmes.
