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

Maximilian P. L. Haslbeck, Peter Lammich

Browse the full ITP paper archive.