Login / Signup

Verifying while loops with invariant relations.

Asma LouhichiWided GhardallouKhaled BsaïesLamia Labed JilaniOlfa MraihiAli Mili
Published in: Int. J. Crit. Comput. Based Syst. (2014)
Keyphrases
  • temporal relations
  • affine transformation
  • database
  • information retrieval
  • three dimensional
  • affine invariant
  • data sets
  • databases
  • attribute values
  • semantic relations
  • rotation invariant
  • invariant features