"Do Formal Methods Really Work?,"
Australian Software Engineering Conference, pp. 66, 1996 Australian Software Engineering Conference (ASWEC '96), 1996.
BibTex
x
@article{
10.1109/ASWEC.1996.10003, author = {}, title = {Do Formal Methods Really Work?}, journal ={Australian Software Engineering Conference}, volume = {0}, year = {1996}, isbn = {0-8186-7635-3}, pages = {66}, doi = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.1996.10003}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Australian Software Engineering Conference TI - Do Formal Methods Really Work? SN - 0-8186-7635-3 SP EP PY - 1996 VL - 0 JA - Australian Software Engineering Conference ER -
PURCHASE ARTICLE: $19
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb