"What could Coq do for Database Software? - A Progress Report."

Yoichi Hirai, Reynald Affeldt (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics