R
ene
M
eis
E-Mails 📧
ed
.
retsneum-inu
@
siem
.
ener
ed
.
eud-inu
@
siem
.
ener
Entries
2012
A Separation Logic Framework for Imperative HOL
by
Peter Lammich
🌐
and
Rene Meis
📧
Nov 14
2010
Binomial Heaps and Skew Binomial Heaps
by
Rene Meis
📧
,
Finn Nielsen
📧
and
Peter Lammich
🌐
Oct 28