Details for the publication DwyerAC98.

Matthew B. Dwyer, George S. Avrunin, James C. Corbett: Property specification patterns for finite-state verification. In Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA, pages 7-15, 1998. DOI BIB