USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Push-Button Verification of File Systems via Crash Refinement
Submitted by arnold on June 1, 2017 - 10:57 am
| Title | Push-Button Verification of File Systems via Crash Refinement |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Sigurbjarnarson H, Bornholt J, Christin N, Cranor LFaith |
| Conference Name | 2017 USENIX Annual Technical Conference (USENIX ATC 17) |
| Date Published | 07/2017 |
| Publisher | USENIX Association |
| Conference Location | Santa Clara, CA |
| URL | https://www.usenix.org/conference/atc17/technical-sessions/presentation/sigurbjarnarson |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX