Model Variables: Cleanly Supporting Abstraction in Design by Contract
Software - Practice and Experience - United Kingdom
doi 10.1002/spe.649
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2005
Authors
Publisher
Wiley
Available in full text
January 1, 2005
Wiley