TY  - RPRT
TI  - An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support
AU  - Ralph-Johan Back
AU  - Johannes Eriksson
PY  - 2012
DO  - 10.4204/eptcs.79.2
UR  - https://arxiv.org/abs/1202.4829
ID  - 1202.4829
ER  -