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.

Authors

Salamah Salamah

This author has not been identified. Look up 'Salamah Salamah' in Google

Irbis Gallegos

This author has not been identified. Look up 'Irbis Gallegos' in Google

Omar Ochoa

This author has not been identified. Look up 'Omar Ochoa' in Google