A Software Component Model and its Preliminary Formalisation (2006)

Cached

Download Links

by Kung-kiu Lau , Mario Ornaghi , Zheng Wang
Venue:Proc. 4th International Symposium on Formal Methods for Components and Objects, LNCS 4111
Citations:21 - 18 self