%0 Conference Paper %1 conf/vstte/BosamiyaGLPH20 %A Bosamiya, Jay %A Gibson, Sydney %A Li, Yao %A Parno, Bryan %A Hawblitzel, Chris %B VSTTE %D 2020 %E Christakis, Maria %E Polikarpova, Nadia %E Duggirala, Parasara Sridhar %E Schrammel, Peter %I Springer %K dblp %P 106-123 %T Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2020.html#BosamiyaGLPH20 %V 12549 %@ 978-3-030-63618-0

@inproceedings{conf/vstte/BosamiyaGLPH20, added-at = {2024-01-12T00:00:00.000+0100}, author = {Bosamiya, Jay and Gibson, Sydney and Li, Yao and Parno, Bryan and Hawblitzel, Chris}, biburl = {https://www.bibsonomy.org/bibtex/23c14251016c2bba28cbbccecfb29aabc/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2020}, editor = {Christakis, Maria and Polikarpova, Nadia and Duggirala, Parasara Sridhar and Schrammel, Peter}, ee = {https://doi.org/10.1007/978-3-030-63618-0_7}, interhash = {990b35394f2e583ea61fba5ae18afd97}, intrahash = {3c14251016c2bba28cbbccecfb29aabc}, isbn = {978-3-030-63618-0}, keywords = {dblp}, pages = {106-123}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:58:28.000+0200}, title = {Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2020.html#BosamiyaGLPH20}, volume = 12549, year = 2020 }