USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Hammad Ahmad [Clear All Filters]
Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :151--166.
.
2022.