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