Formal Aspects of Computing13428 (ISSN : 0934-5043, EISSN : 1433-299X)Published by Springer VerlagSHERPA/RoMEOVoir les documents associés Exporter Export XML Export RDF