TY  - RPRT
TI  - Reducing the Number of Annotations in a Verification-oriented Imperative Language
AU  - Guido de Caso
AU  - Diego Garbervetsky
AU  - Daniel Gorín
PY  - 2010
UR  - https://arxiv.org/abs/1011.3407
ID  - 1011.3407
ER  -