Nos partenaires

CNRS

Rechercher





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

Publications

Cesar Munoz

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.

 


Articles de revues nationales / National journal papers

Conférences et workshops internationaux / International conference papers
  • Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz. A Formalization of the B method in Coq and PVS. Dans : FM'99 -- B Users Group Meeting -- Applying B in an industrial context : Tools, Lessons and Techniques, Toulouse, Springer-Verlag, p. 32-48, septembre 1999.
    BibTeX

Conférences et workshops nationaux / National conference papers

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