A software component model and its preliminary formalisation (2006)

by K-K Lau, M Ornaghi, Z Wang
Venue:In Proc. 4th International Symposium on Formal Methods for Components and Objects, LNCS 4111