"Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL."

Maximilian P. L. Haslbeck, Peter Lammich (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics