Publications

Publications de

Articles dans une revue
Communications dans un congrès
Thèses
  • Pierre-Loïc Garoche

    Analyse statique d’un calcul d’acteurs par interprétation abstraite

    Thèse de doctorat, Institut National Polytechnique de Toulouse, juin 2008.

    Résumé
    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par