Infoscience

Conference paper

An Integrated Proof Language for Imperative Programs

Related material