Formal Methods in System Design13429 (ISSN : 0925-9856, EISSN : 1572-8102)Published by Springer Verlag

SHERPA/RoMEO

Voir les documents associés 

Exporter

• Export XML
• Export RDF