Proof Abstraction for Imperative Languages (2003)

by William L. Harrison
Citations:2 - 1 self

Document Versions

Proof Abstraction for Imperative Languages –William L. Harrison — 2003