par Bouyer, Patricia P.;Brihaye, Thomas;Bruyère, Véronique;Raskin, Jean-François ![](/vufind/images/ULB/publications_list.png)
Référence Formal methods in system design, 31, 2, page (135-175)
Publication Publié, 2007-10
![](/vufind/images/ULB/publications_list.png)
Référence Formal methods in system design, 31, 2, page (135-175)
Publication Publié, 2007-10
Article révisé par les pairs
Fichier(s) déposé(s) par l'encodeur |