John Daniels
Component Contracts
TOOLS, 2000.
@inproceedings{TOOLS-EUROPE-2000-Daniels, author = "John Daniels", booktitle = "{Proceedings of the 33rd International Conference on Technology of Object-Oriented Languages and Systems}", doi = "10.1109/TOOLS.2000.10025", isbn = "0-7695-0731-X", pages = "6", publisher = "{IEEE Computer Society}", title = "{Component Contracts}", year = 2000, }