'Automated Support for Property Specification Based on Patterns,'

Ann C. Gates, University of Texas at El Paso

Document Type Conference Proceeding

Abstract

Gates, A. Q., Mondragon, O., and F. Kassem, 'Automated Support for Property Specification Based on Patterns,' Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering, July 23, pp. 174-181.