par Bouyer, Patricia P.;Brenguier, Romain ;Markey, Nicolas N.;Ummels, Michael
Référence Logical methods in computer science, 11, 2, 9
Publication Publié, 2015-06
Article révisé par les pairs