Login / Signup

Mechanized verification of preemptive OS kernels (invited talk).

Xinyu Feng
Published in: CPP (2017)
Keyphrases