Login / Signup

Formal Specification and Analysis of an E-voting System.

Komminist WeldemariamRichard A. KemmererAdolfo Villafiorita
Published in: ARES (2010)
Keyphrases
  • formal specification
  • specification languages
  • databases
  • real world
  • query language
  • knowledge representation
  • object oriented design