Patrice Godefroid, John Kelly, Steven Miller, Frank Weil,
"Transferring Formal Methods Technology to Industry,"
Industrial-Strength Formal Specification Techniques, Workshop on, pp. 128, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998.
BibTex
x
@article{
10.1109/WIFT.1998.766306, author = {Patrice Godefroid and John Kelly and Steven Miller and Frank Weil}, title = {Transferring Formal Methods Technology to Industry}, journal ={Industrial-Strength Formal Specification Techniques, Workshop on}, volume = {0}, year = {1998}, isbn = {0-7695-0081-1}, pages = {128}, doi = {http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766306}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Industrial-Strength Formal Specification Techniques, Workshop on TI - Transferring Formal Methods Technology to Industry SN - 0-7695-0081-1 SP EP A1 - Patrice Godefroid, A1 - John Kelly, A1 - Steven Miller, A1 - Frank Weil, PY - 1998 VL - 0 JA - Industrial-Strength Formal Specification Techniques, Workshop on ER -
Patrice Godefroid, John Kelly, Steven Miller, Frank Weil, "Transferring Formal Methods Technology to Industry," wift, pp.128, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb