Skip to content
cs-conference-ranking.org

30 years of research and development around Coq.

Grard P. Huet, Hugo Herbelin

VenueA*POPL
Year2014
ProceedingsPOPL
DBLP recordconf/popl/HuetH14 ↗

Browse the full POPL paper archive.