TY  - RPRT
TI  - Verifying an algorithm computing Discrete Vector Fields for digital imaging
AU  - Jónathan Heras
AU  - María Poza
AU  - Julio Rubio
PY  - 2012
DO  - 10.1007/978-3-642-31374-5_15
UR  - https://arxiv.org/abs/1207.3315
ID  - 1207.3315
ER  -