Property speci patterns for veri (1998)

by Matthew B Dwyer, George S Avrunin, James C Corbett
Venue:In Proceedings of the Second International Workshop on Formal Methods in Software Practice (FMSP '98