Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Vincent Hennebert

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers
  • Vincent Hennebert, Marc Pantel. Typage de JavAct, Approche dérivée du typage de CAP. Dans : Formalisation des Activités Concurrentes, Toulouse, 09/03/2004-10/03/2004, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, p. 1-12, mars 2004.
    Résumé
    BibTeX

Conférences sans actes publiés / Conference papers without published proceedings

Rapports / Reports