Skip to main content
Publication

An Integrated Proof Language for Imperative Programs