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

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