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