Specifying and Checking Method Call Sequences of Java Programs
Software Quality Journal - Netherlands
doi 10.1007/s11219-006-9001-4
Full Text
Open PDFAbstract
Available in full text
Date
January 23, 2007
Authors
Publisher
Springer Science and Business Media LLC