Login / Signup
Automatic Equivalence Checking of UF+IA Programs.
Nuno P. Lopes
José Monteiro
Published in:
SPIN (2013)
Keyphrases
</>
semi automatic
genetic algorithm
query language
fully automatic
real time
high level
video sequences
data driven