The institute
FEMTO-ST
Directory

You are here

Henri De Boutray

Henri De Boutray's publications

2019 (1)

  • inproceedings - Formalisation et validation d'une méthode de construction de systèmes de blocs
    18èmes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2019) / Toulouse, France (2019, Pages pages 51 - 58)
    Colonval, Jessy | De Boutray, Henri
    pdf | bibtex