Login / Signup
Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic.
Nuno P. Lopes
José Monteiro
Published in:
Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
</>
integer arithmetic
scale space
euclidean distance transform
gray scale
distance transform