"Using Coq in Specification and Program Extraction of Hadoop MapReduce ..."

Kosuke Ono et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics