par Filiot, Emmanuel ;Gentilini, Raffaella ;Raskin, Jean-François
Référence Logical methods in computer science, 11, 3
Publication Publié, 2015
Article révisé par les pairs


Fichier importé via le DOI