Verifying Traits: An Incremental Proof System for Fine-Grained Reuse
Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-013-0278-3
Full Text
Open PDFAbstract
Available in full text
Date
May 17, 2013
Authors
Publisher
Springer Science and Business Media LLC