Login / Signup

Loop Invariants on Demand.

K. Rustan M. LeinoFrancesco Logozzo
Published in: APLAS (2005)
Keyphrases
  • cloud computing
  • affine invariant
  • moment invariants
  • real time
  • pattern recognition
  • expert systems