B
ernhard
S
töckl
E-Mails 📧
ed
.
mut
.
ni
@
lkceots
Entries
2022
Verification of Query Optimization Algorithms
by
Lukas Stevens
🌐
and
Bernhard Stöckl
📧
Oct 04