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.

Authors

Zhiming Liu

This author has not been identified. Look up 'Zhiming Liu' in Google

Jifeng He

This author has not been identified. Look up 'Jifeng He' in Google

Xiaoshan Li

This author has not been identified. Look up 'Xiaoshan Li' in Google