Publications

Publications of Jean-Paul BODEVEIX

Journal articles
Conference papers
Book sections
Authorization to supervise research
  • Jean-Paul Bodeveix

    Méthodes formelles et sûreté de développement

    HDR, Université Paul Sabatier, October 2001.

    BibTeX

Books
Special issues
Other publications

Department
Publication type
Criteria





Operator   AND   OR
Sort by