Towards verified virtual memory in l4 (2004)

by G Klein, H Tuch
Venue:In TPHOLs Emerging Trends ’04, Park City