DMCA

Incremental Interactive Verification of the Correctness of Object-Oriented Software

Cached

Download Links

by Hannes Mehnert , Advisors Peter Sestoft , Lars Birkedal