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.

@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},
}

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 -