USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Philip Derrin [Clear All Filters]
Towards a Practical, Verified Kernel. 11th Workshop on Hot Topics in Operating Systems (HotOS XI).
.
2007.