High-Confidence Operating Systems 1
Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, and Yanhong A. Liu Stony Brook University