A Short Presentation of Coq.

Published in: TPHOLs (2008)

Keyphrases

real time
formal methods
theorem prover
genetic algorithm
multimedia
case study
real world
social networks
image sequences
pairwise