Cliff B. Jones, Daniel Jackson, Jeannette Wing,
"Formal Methods Light,"
Computer, vol. 29, no. 4, pp. 20-22, April, 1996.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb