• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Gradual certified programming in Coq.

Éric TanterNicolas Tabareau
Published in: DLS (2015)
Keyphrases
  • programming language
  • development environment
  • real time
  • formal methods
  • database
  • website
  • computer programming
  • technical support
  • multimedia
  • high level
  • object oriented programming
  • programming environments