cx a22 3 45 233125302 http://www.idref.fr/233125302 20190111 20240912163515.000 915389701 915389701 Tp5 0000-0002-5671-2555 ORCID VIAF 20200813 http://viaf.org/viaf/9011148574372724430007 VIAF VIAF 20200813 23088306500 SCOPUSID ABES 20240912 20190111afrey50 ba0 0 1 0 ba AFNOR ba0yba0y f|xxx 0 Ahrendt Wolfgang SCANR 102020 ESR FR Abes 20240912 AFNOR Tools and Techniques for the Verification of Modular Stateful Code / Mário Parreira Pereira ; sous la direction de Jean-Christophe Filliâtre. Thèse de doctorat : Informatique : Paris Saclay : 2018 membre du jury en tant que professeur, Department of Computer Science and Engineering, Chalmers University of Technology ( Göteborg, Suède) Ahrendt, Wolfgang