A Novel Approach for Software Property Validation

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.

Abstract

Abstract is missing.