Wei Li,
"A Logical Framework for Software Testing,"
Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on, pp. 11, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008.
BibTex
x
@article{
10.1109/TASE.2008.51, author = {Wei Li}, title = {A Logical Framework for Software Testing}, journal ={Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on}, volume = {0}, year = {2008}, isbn = {978-0-7695-3249-3}, pages = {11}, doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2008.51}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on TI - A Logical Framework for Software Testing SN - 978-0-7695-3249-3 SP EP A1 - Wei Li, PY - 2008 KW - null VL - 0 JA - Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on ER -
Wei Li, "A Logical Framework for Software Testing," tase, pp.11, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, 2008