Property speci patterns for veri (1998)

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