%0 Conference Paper %1 conf/sbmf/MehtaC20 %A Mehta, Mihir Parang %A Cook, William R. %B SBMF %D 2020 %E Carvalho, Gustavo %E Stolz, Volker %I Springer %K dblp %P 155-170 %T Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model. %U http://dblp.uni-trier.de/db/conf/sbmf/sbmf2020.html#MehtaC20 %V 12475 %@ 978-3-030-63882-5

@inproceedings{conf/sbmf/MehtaC20, added-at = {2020-11-23T00:00:00.000+0100}, author = {Mehta, Mihir Parang and Cook, William R.}, biburl = {https://www.bibsonomy.org/bibtex/269707c8778c587d0170b630477cfe40f/dblp}, booktitle = {SBMF}, crossref = {conf/sbmf/2020}, editor = {Carvalho, Gustavo and Stolz, Volker}, ee = {https://doi.org/10.1007/978-3-030-63882-5_10}, interhash = {02df96b2783d30d3ae9484ee4249180c}, intrahash = {69707c8778c587d0170b630477cfe40f}, isbn = {978-3-030-63882-5}, keywords = {dblp}, pages = {155-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-24T11:37:14.000+0100}, title = {Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model.}, url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2020.html#MehtaC20}, volume = 12475, year = 2020 }