Document Versions

An integrated proof language for imperative programs –Karen Zee, Viktor Kuncak, Martin C. Rinard — In PLDI’09
An integrated proof language for imperative programs –Karen Zee, Viktor Kuncak, Martin C. Rinard — In PLDI’09