Haslbeck, Maximilian Paul Louis
Verified Quantitative Analysis of Imperative Algorithms
2021
Dissertation
229 p.

Eberl, Manuel
Asymptotic Reasoning in a Proof Assistant
2021
Dissertation
138 p.