Oscar Mondragon, Ann Q. Gates, Fadi Kassem. Automated Support for Property Specification Based on Patterns. In Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003. pages 174-181, 2003.
@inproceedings{MondragonGK03, title = {Automated Support for Property Specification Based on Patterns}, author = {Oscar Mondragon and Ann Q. Gates and Fadi Kassem}, year = {2003}, tags = {rule-based}, researchr = {https://researchr.org/publication/MondragonGK03}, cites = {0}, citedby = {0}, pages = {174-181}, booktitle = {Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003}, }