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.
@inproceedings{LiuHL04:0,
title = {Contract Oriented Development of Component Software},
author = {Zhiming Liu and Jifeng He and Xiaoshan Li},
year = {2004},
tags = {software components, contracts, software component, software contracts},
researchr = {https://researchr.org/publication/LiuHL04%3A0},
cites = {0},
citedby = {0},
pages = {349-366},
booktitle = {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},
editor = {Jean-Jacques Lévy and Ernst W. Mayr and John C. Mitchell},
publisher = {Kluwer},
isbn = {1-4020-8140-5},
}