Composition of model programs (2007)

by M Veanes, C Campbell, W Schulte
Venue:Proc. of the 27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE’07