'Automated Support for Property Specification Based on Patterns,'
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.
This paper has been withdrawn.