Cliff B. Jones, Daniel Jackson, Jeannette Wing, "Formal Methods Light," Computer, vol. 29, no. 4, pp. 20-22, April, 1996.

@article{ 10.1109/MC.1996.10038,
author = {Cliff B. Jones and Daniel Jackson and Jeannette Wing},
title = {Formal Methods Light},
journal ={Computer},
volume = {29},
number = {4},
issn = {0018-9162},
year = {1996},
pages = {20-22},
doi = {http://doi.ieeecomputersociety.org/10.1109/MC.1996.10038},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - MGZN
JO - Computer
TI - Formal Methods Light
IS - 4
SN - 0018-9162
SP20
EP22
EPD - 20-22
A1 - Cliff B. Jones,
A1 - Daniel Jackson,
A1 - Jeannette Wing,
PY - 1996
VL - 29
JA - Computer
ER -