R
ene
M
eis
E-Mails 📧
rene.meis@uni-due.de
rene.meis@uni-muenster.de
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