C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Gradual certified programming in Coq.
Éric Tanter
Nicolas 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