%0 Conference Paper %1 conf/usenix/Sigurbjarnarson17 %A Sigurbjarnarson, Helgi %A Bornholt, James %A Christin, Nicolas %A Cranor, Lorrie Faith %B USENIX Annual Technical Conference %D 2017 %E Silva, Dilma Da %E Ford, Bryan %I USENIX Association %K dblp %T Push-Button Verification of File Systems via Crash Refinement. %U http://dblp.uni-trier.de/db/conf/usenix/usenix2017.html#Sigurbjarnarson17

@inproceedings{conf/usenix/Sigurbjarnarson17, added-at = {2021-02-01T00:00:00.000+0100}, author = {Sigurbjarnarson, Helgi and Bornholt, James and Christin, Nicolas and Cranor, Lorrie Faith}, biburl = {https://www.bibsonomy.org/bibtex/28a3cead6f3ded91a35efbc9d3fb05957/dblp}, booktitle = {USENIX Annual Technical Conference}, crossref = {conf/usenix/2017}, editor = {Silva, Dilma Da and Ford, Bryan}, ee = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/sigurbjarnarson}, interhash = {80c363ac38a9cc7d0fe852d870a11751}, intrahash = {8a3cead6f3ded91a35efbc9d3fb05957}, keywords = {dblp}, publisher = {USENIX Association}, timestamp = {2024-04-09T19:09:56.000+0200}, title = {Push-Button Verification of File Systems via Crash Refinement.}, url = {http://dblp.uni-trier.de/db/conf/usenix/usenix2017.html#Sigurbjarnarson17}, year = 2017 }