W.: On the verification of memory management mechanisms (2005)

by I Dalinger, M Hillebrand, Paul
Venue:CHARME 2005. LNCS