Proof Abstraction for Imperative Languages (2003)

by William L. Harrison
Citations:2 - 1 self