Automated Support for Property Specification Based on Patterns.

Oscar Mondragon, Ann Q. Gates, Fadi Kassem

Browse the full SEKE paper archive.