"On the Verification of Memory Management Mechanisms."

Iakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics