Damian Nadales Agut, Bert van Beek, Harsh Beohar, Pieter J. L. Cuijpers, Jasper Fonteijn. The Hierarchical Compositional Interchange Format. In Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, editors, Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Volume 6957 of Lecture Notes in Computer Science, pages 316-335, Springer, 2010. [doi]
Abstract is missing.