Salamah Salamah, Irbis Gallegos, Omar Ochoa. A Novel Approach for Software Property Validation. In M. A. Karim Sadiq, Haiping Xu, Jaroslav Zendulka, Adegboyega K. Ojo, editors, International Conference on Software Engineering Theory and Practice, SETP-08, Orlando, Florida, USA, July 7-10, 2008. pages 173-178, ISRST, 2008.
@inproceedings{SalamahGO08,
title = {A Novel Approach for Software Property Validation},
author = {Salamah Salamah and Irbis Gallegos and Omar Ochoa},
year = {2008},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/SalamahGO08},
cites = {0},
citedby = {0},
pages = {173-178},
booktitle = {International Conference on Software Engineering Theory and Practice, SETP-08, Orlando, Florida, USA, July 7-10, 2008},
editor = {M. A. Karim Sadiq and Haiping Xu and Jaroslav Zendulka and Adegboyega K. Ojo},
publisher = {ISRST},
isbn = {978-1-60651-005-6},
}