Languages

Biblio

Filters: Author is Fengwei Xu  [Clear All Filters]
2016
Xu F, Fu M, Feng X, Zhang X, Zhang H, Li Z.  2016.  A Practical Verification Framework for Preemptive OS Kernels. Proc. 28th International Conference on Computer Aided Verification (CAV’16), part II, pages 59--79.