"QED at Large: A Survey of Engineering of Formally Verified Software."

Talia Ringer et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics