Analyse de programmes probabilistes par interprétation abstraite/David Monniaux, 2001
[thèse de doctorat]
Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle
/ Boris Djalal ; sous la direction d'Yves Bertot. Thèse de doctorat : Informatique
: Côte d'Azur : 2018
Information trouvée : rapporteur de thèse, membre du jury
http://id.loc.gov/authorities/names/nb2017004632, 2020-03-09
Information trouvée : Monniaux, David
http://www-verimag.imag.fr/~monniaux/, 2020-03-09
Information trouvée : Informaticien. Directeur de recherche CNRS, co-responsable de l'équipe de recherche
Proofs and code analysis for safety and security (PACSS), VERIMAG (UMR 5104), Université
de Grenoble Alpes, Saint Martin d'Hères, Isère
https://catalogue.bnf.fr/ark:/12148/cb16709010p, 2020-03-09
Information trouvée : Monniaux, David
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial