Login / Signup

A light-weight integration of automated and interactive theorem proving.

Karim KansoAnton Setzer
Published in: Math. Struct. Comput. Sci. (2016)
Keyphrases
  • lightweight
  • interactive theorem proving
  • wireless sensor networks
  • case study
  • fully automated
  • semi automated
  • computer aided
  • data model
  • data sources
  • rfid tags