Contract Oriented Development of Component Software

Zhiming Liu, Jifeng He, Xiaoshan Li. Contract Oriented Development of Component Software. In Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell, editors, Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France. pages 349-366, Kluwer, 2004.

Abstract

Abstract is missing.