Login / Signup

MedicationChecker: Development of a Formally Verified Android Application with EventB2SQL.

Tim Wahls
Published in: QRS (2016)
Keyphrases
  • database
  • query language
  • development process
  • android application
  • relational databases
  • database applications
  • databases
  • software engineering
  • database design
  • sql queries
  • case study
  • query optimization