TY  - CONF

T1  - The hierarchical compositional interchange format

CY  - Berlin, Heidelberg

JO  - Proceedings of the 9th international conference on Formal Methods for Components and Objects

PY  - 2011/01/01

AU  - Nadales Agut DE

AU  - van Beek DA

AU  - Beohar H

AU  - Cuijpers PJL

AU  - Fonteijn J

ED  - Aichernig BK

ED  - de Boer FS

ED  - Bonsangue MM

PB  - Springer-Verlag

SN  - 978-3-642-25270-9

SP  - 316

EP  - 335

Y2  - 2024/12/23

ER  -