OS verification — now (2005)

by Harvey Tuch , Gerwin Klein , Gernot Heiser
Venue:In Proceedings of the 10th Workshop on Hot Topics in Operating Systems
Citations:26 - 9 self