Verifying the L4 virtual memory subsystem (2004)

by Harvey Tuch , Gerwin Klein
Venue:National ICT Australia
Citations:13 - 4 self