Testing Refinements of State‐based Formal Specifications
Software Testing Verification and Reliability - United States
doi 10.1002/(sici)1099-1689(199903)9:1<27::aid-stvr172>3.3.co;2-2
Full Text
Open PDFAbstract
Available in full text
Date
March 1, 1999
Authors
Publisher
Wiley-Blackwell