An Integrated Proof Language for Imperative Programs (2009)

by Karen Zee, Viktor Kuncak, Martin C Rinard
Venue:In PLDI