DMCA

Automating proofs of data-structure properties in imperative programs

Cached

Download Links

by Duc-hiep Chu , Joxan Jaffar , Minh-thai Trinh
Venue:CoRR
Citations:1 - 0 self