par Bouyer, Patricia;Brenguier, Romain ;Markey, Nicolas N.;Ummels, Michael
Référence Proceedings of the 15th International Conference on Foundations of Software Science and Computation Structure (FoSSaCS'12), Springer-Verlag, Vol. 7213, page (301-315)
Publication Publié, 2012-03
Publication dans des actes
Fichier(s) déposé(s) par l'encodeur