Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/itp/MehtaC19
%A Mehta, Mihir Parang
%A Cook, William R.
%B ITP
%D 2019
%E Harrison, John
%E O'Leary, John
%E Tolmach, Andrew
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik
%K dblp
%P 25:1-25:18
%T Binary-Compatible Verification of Filesystems with ACL2.
%U http://dblp.uni-trier.de/db/conf/itp/itp2019.html#MehtaC19
%V 141
%@ 978-3-95977-122-1
@inproceedings{conf/itp/MehtaC19,
added-at = {2019-09-07T00:00:00.000+0200},
author = {Mehta, Mihir Parang and Cook, William R.},
biburl = {https://www.bibsonomy.org/bibtex/29beeb7dc9ac63842ca0978919a694668/dblp},
booktitle = {ITP},
crossref = {conf/itp/2019},
editor = {Harrison, John and O'Leary, John and Tolmach, Andrew},
ee = {https://doi.org/10.4230/LIPIcs.ITP.2019.25},
interhash = {1d543d643462df581a880866943e0012},
intrahash = {9beeb7dc9ac63842ca0978919a694668},
isbn = {978-3-95977-122-1},
keywords = {dblp},
pages = {25:1-25:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
series = {LIPIcs},
timestamp = {2019-09-10T11:48:17.000+0200},
title = {Binary-Compatible Verification of Filesystems with ACL2.},
url = {http://dblp.uni-trier.de/db/conf/itp/itp2019.html#MehtaC19},
volume = 141,
year = 2019
}