S. Liu, R. Adams,
"Limitations of Formal Methods and an Approach to Improvement,"
Asia-Pacific Software Engineering Conference, pp. 498, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995.
BibTex
x
@article{
10.1109/APSEC.1995.496999, author = {S. Liu and R. Adams}, title = {Limitations of Formal Methods and an Approach to Improvement}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {1995}, isbn = {0-8186-7171-8}, pages = {498}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1995.496999}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Asia-Pacific Software Engineering Conference TI - Limitations of Formal Methods and an Approach to Improvement SN - 0-8186-7171-8 SP EP A1 - S. Liu, A1 - R. Adams, PY - 1995 VL - 0 JA - Asia-Pacific Software Engineering Conference ER -
S. Liu, R. Adams, "Limitations of Formal Methods and an Approach to Improvement," apsec, pp.498, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb