"Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle."

Bohua Zhan, Maximilian P. L. Haslbeck (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics