Analysis by Contract

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers 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

Technology of Object-Oriented Languages and Systems-Tools - 24

Beijing, China

September 01-September 01

ISBN: 0-8186-8551-4

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

	BibTex	x
	@article{ 10.1109/TOOLS.1997.713577, author = {Richard Mitchell}, title = {Analysis by Contract}, journal ={Technology of Object-Oriented Languages, International Conference on}, volume = {0}, year = {1997}, isbn = {0-8186-8551-4}, pages = {421}, doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.713577}, 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-8551-4 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.421, Technology of Object-Oriented Languages and Systems-Tools - 24, 1997

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