Patterns in Property Specifications for Finite-State Verification (0)

by M B Dwyer, G S Avrunin, J C Corbett
Venue:Proc. ICSE-99: 21th Intrnational Conference on Software Enginering