Publication

[DwyerAC98] Property Specification Patterns for Finite-State Verification Dwyer, M. B.; Avrunin, G. S. and Corbett, J. C. In FMSP, pages 7-15, 1998.Downloads: bib