A Separation Logic Framework for Imperative HOL
by Peter Lammich and Rene Meis
Rene Meis
2012
2010
Binomial Heaps and Skew Binomial Heaps
by Rene Meis, Finn Nielsen and Peter Lammich
A Separation Logic Framework for Imperative HOL
by Peter Lammich and Rene Meis
Binomial Heaps and Skew Binomial Heaps
by Rene Meis, Finn Nielsen and Peter Lammich