Verified systems by composition from verified components.

Wed, 01 Jan 2003 00:00:00 +0100

Fei Xie, James C. Browne:
Verified systems by composition from verified components. ESEC / SIGSOFT FSE 2003: 277-286