DocumentCode :
2911773
Title :
Analysis by Contract
Author :
Mitchell, Robert
Author_Institution :
University of Brighton
fYear :
1997
fDate :
35674
Firstpage :
421
Lastpage :
421
Keywords :
Contracts; Europe; Helium; North America; Object oriented modeling;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Technology of Object-Oriented Languages, 1997. TOOLS 24. Proceedings
Print_ISBN :
0-8186-8551-4
Type :
conf
DOI :
10.1109/TOOLS.1997.713577
Filename :
713577
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2911773
