Program Transformation for Program Verification.

Alberto Pettorossi Maurizio Proietti

Published in: VPT@CAV (2013)

Keyphrases

real time
program synthesis
database
wide range
data structure
programming environment
program execution
information retrieval
computer vision
image registration