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