USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Jonas Wagner [Clear All Filters]
.
2013. -OVERIFY: Optimizing Programs for Fast Veriļ¬cation. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).