Login / Signup

Formally Verified Certificate Checkers for Hardest-to-Round Computation.

Érik Martin-DorelGuillaume HanrotMicaela MayeroLaurent Théry
Published in: J. Autom. Reason. (2015)
Keyphrases
  • real time
  • digital libraries
  • databases
  • decision trees
  • database systems
  • mobile robot