Towards Verified Virtual Memory in L4 (2004)

by Gerwin Klein , Harvey Tuch
Venue:TPHOLS EMERGING TRENDS ’04, PARK CITY
Citations:8 - 6 self