Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging.

Jnathan Heras, Mara Poza, Julio Rubio

Browse the full AISC paper archive.