Proof abstraction for imperative languages (2005)

by W Harrison
Venue:In Proceedings of the 4th Asian Symposium on Programming Languages and Systems (APLAS06