Login / Signup

Automatic Equivalence Checking of UF+IA Programs.

Nuno P. LopesJosé Monteiro
Published in: SPIN (2013)
Keyphrases
  • semi automatic
  • genetic algorithm
  • query language
  • fully automatic
  • real time
  • high level
  • video sequences
  • data driven