Modular Specification of Frame Properties in JML
Concurrency Computation Practice and Experience - United Kingdom
doi 10.1002/cpe.713
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 6, 2003
Authors
Publisher
Wiley
Available in full text
January 6, 2003
Wiley