Michael G. Hinchey, Jonathan P. Bowen, Robert L. Glass,
"Formal Methods: Point-Counterpoint,"
Computer, vol. 29, no. 4, pp. 18-19, April, 1996.
BibTex
x
@article{
10.1109/MC.1996.10044, author = {Michael G. Hinchey and Jonathan P. Bowen and Robert L. Glass}, title = {Formal Methods: Point-Counterpoint}, journal ={Computer}, volume = {29}, number = {4}, issn = {0018-9162}, year = {1996}, pages = {18-19}, doi = {http://doi.ieeecomputersociety.org/10.1109/MC.1996.10044}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - MGZN JO - Computer TI - Formal Methods: Point-Counterpoint IS - 4 SN - 0018-9162 SP18 EP19 EPD - 18-19 A1 - Michael G. Hinchey, A1 - Jonathan P. Bowen, A1 - Robert L. Glass, PY - 1996 VL - 29 JA - Computer ER -
Michael G. Hinchey, Jonathan P. Bowen, Robert L. Glass, "Formal Methods: Point-Counterpoint," Computer, vol. 29, no. 4, pp. 18-19, Apr. 1996, doi:10.1109/MC.1996.10044
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb