USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Scott A. Smolka [Clear All Filters]
.
2024. Metis: File System Model Checking via Versatile Input and State Exploration. 22nd USENIX Conference on File and Storage Technologies (FAST 24). :123--140.