Login / Signup

Sets in Coq, Coq in Sets.

Bruno Barras
Published in: J. Formaliz. Reason. (2010)
Keyphrases
  • real time
  • management system
  • formal methods
  • database
  • multimedia
  • website
  • case study
  • wireless sensor networks