TY  - RPRT
TI  - The role of logical interpretations in program development
AU  - Manuel A. Martins
AU  - Alexandre Madeira
AU  - Luis S. Barbosa
PY  - 2014
DO  - 10.2168/lmcs-10(1:1)2014
UR  - https://arxiv.org/abs/1311.7090
ID  - 1311.7090
ER  -