Login / Signup

Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic.

Nuno P. LopesJosé Monteiro
Published in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
  • integer arithmetic
  • scale space
  • euclidean distance transform
  • gray scale
  • distance transform