Analysis by Contract

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Richard Mitchell

Tools-23: Technology of Object-Oriented Languages and Systems

Santa Barbara, California

July 28-August 01

ISBN: 0-8186-8383-X

	ASCII Text	x
	Richard Mitchell, "Analysis by Contract," Technology of Object-Oriented Languages, International Conference on, pp. 372, Tools-23: Technology of Object-Oriented Languages and Systems, 1997.

	BibTex	x
	@article{ 10.1109/TOOLS.1997.10006, author = {Richard Mitchell}, title = {Analysis by Contract}, journal ={Technology of Object-Oriented Languages, International Conference on}, volume = {0}, year = {1997}, isbn = {0-8186-8383-X}, pages = {372}, doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10006}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Technology of Object-Oriented Languages, International Conference on TI - Analysis by Contract SN - 0-8186-8383-X SP EP A1 - Richard Mitchell, PY - 1997 VL - 0 JA - Technology of Object-Oriented Languages, International Conference on ER -

Citation:

Richard Mitchell, "Analysis by Contract," tools, pp.372, Tools-23: Technology of Object-Oriented Languages and Systems, 1997

Usage of this product signifies your acceptance of the Terms of Use.