R. Mitchell, J. Howse, A. Hamie,
"Contract-Oriented Specifications,"
Technology of Object-Oriented Languages, International Conference on, pp. 131, Technology of Object-Oriented Languages and Systems-Tools - 24, 1997.
BibTex
x
@article{
10.1109/TOOLS.1997.713536, author = {R. Mitchell and J. Howse and A. Hamie}, title = {Contract-Oriented Specifications}, journal ={Technology of Object-Oriented Languages, International Conference on}, volume = {0}, year = {1997}, isbn = {0-8186-8551-4}, pages = {131}, doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.713536}, 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 - Contract-Oriented Specifications SN - 0-8186-8551-4 SP EP A1 - R. Mitchell, A1 - J. Howse, A1 - A. Hamie, PY - 1997 VL - 0 JA - Technology of Object-Oriented Languages, International Conference on ER -
R. Mitchell, J. Howse, A. Hamie, "Contract-Oriented Specifications," tools, pp.131, Technology of Object-Oriented Languages and Systems-Tools - 24, 1997
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb