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.

@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},
}

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 -