par Bouyer, Patricia P.;Brihaye, Thomas;Bruyère, Véronique;Raskin, Jean-François
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