A Verified Operating System Kernel (1987)

by William R. Bevier
Venue:UNIVERSITY OF TEXAS AT AUSTIN
Citations:30 - 1 self