PDF-Patterns in Property Specifications for FiniteState Verification Matthew B
Dwyer Kansas State University Department of Computing and Information Sciences Manhattan KS 665062302 l 785 532 6350 dwyercisksuedu George S Avrunin University of
Download Presentation
"Patterns in Property Specifications for FiniteState Verifica…" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.