par Geeraerts, Gilles
;Raskin, Jean-François
;Sznajder, Nathalie
Référence Formal methods in system design, 45, 3
Publication Publié, 2014


Référence Formal methods in system design, 45, 3
Publication Publié, 2014
Article révisé par les pairs
Fichier(s) déposé(s) par l'encodeur |