TY  - RPRT
TI  - Building an IDE for the Calculational Derivation of Imperative Programs
AU  - Dipak L. Chaudhari
AU  - Om Damani
PY  - 2015
DO  - 10.4204/eptcs.187.1
UR  - https://arxiv.org/abs/1508.03892
ID  - 1508.03892
ER  -