Kim Walden,
"BON: Seamless, Reversible, Contract-Based Analysis and Design,"
Technology of Object-Oriented Languages, International Conference on, pp. 445, Technology of Object-Oriented Languages and Systems, 1998.
BibTex
x
@article{
10.1109/TOOLS.1998.711042, author = {Kim Walden}, title = {BON: Seamless, Reversible, Contract-Based Analysis and Design}, journal ={Technology of Object-Oriented Languages, International Conference on}, volume = {0}, year = {1998}, isbn = {0-8186-8482-8}, pages = {445}, doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1998.711042}, 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 - BON: Seamless, Reversible, Contract-Based Analysis and Design SN - 0-8186-8482-8 SP EP A1 - Kim Walden, PY - 1998 VL - 0 JA - Technology of Object-Oriented Languages, International Conference on ER -
PDF
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb