Login / Signup
Loop Invariants on Demand.
K. Rustan M. Leino
Francesco Logozzo
Published in:
APLAS (2005)
Keyphrases
</>
cloud computing
affine invariant
moment invariants
real time
pattern recognition
expert systems