Towards a practical, verified kernel (2007)

by Kevin Elphinstone , Gerwin Klein , Philip Derrin , Timothy Roscoe
Venue:In 11th HotOS
Citations:25 - 10 self