"A Million Lines of Proof About a Moving Target (Invited Talk)."

June Andronick (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics