|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
Second Asia-Pacific Software Engineering Conference (APSEC'95)
Are Formal Methods Relevant?
Brisbane, Australia
December 06-December 09
ISBN: 0-8186-7171-8
| ASCII Text | x | ||
| "Are Formal Methods Relevant?," Asia-Pacific Software Engineering Conference, pp. 513, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995. | |||
| BibTex | x | ||
| @article{ 10.1109/APSEC.1995.10011, author = {}, title = {Are Formal Methods Relevant?}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {1995}, isbn = {0-8186-7171-8}, pages = {513}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1995.10011}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Asia-Pacific Software Engineering Conference TI - Are Formal Methods Relevant? SN - 0-8186-7171-8 SP EP PY - 1995 VL - 0 JA - Asia-Pacific Software Engineering Conference ER - | |||
Citation:
"Are Formal Methods Relevant?," apsec, pp.513, Second Asia-Pacific Software Engineering Conference (APSEC'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.