Anthony Hall, David L. Dill, John Rushby, C. Michael Holloway, Ricky W. Butler, Pamela Zave, "Industrial Practice," Computer, vol. 29, no. 4, pp. 22-27, April, 1996.

@article{ 10.1109/MC.1996.10048,
author = {Anthony Hall and David L. Dill and John Rushby and C. Michael Holloway and Ricky W. Butler and Pamela Zave},
title = {Industrial Practice},
journal ={Computer},
volume = {29},
number = {4},
issn = {0018-9162},
year = {1996},
pages = {22-27},
doi = {http://doi.ieeecomputersociety.org/10.1109/MC.1996.10048},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - MGZN
JO - Computer
TI - Industrial Practice
IS - 4
SN - 0018-9162
SP22
EP27
EPD - 22-27
A1 - Anthony Hall,
A1 - David L. Dill,
A1 - John Rushby,
A1 - C. Michael Holloway,
A1 - Ricky W. Butler,
A1 - Pamela Zave,
PY - 1996
VL - 29
JA - Computer
ER -