Aaron Bohannon, Benjamin C. Pierce. Featherweight Firefox: Formalizing the Core of a Web Browser. In John K. Ousterhout, editor, USENIX Conference on Web Application Development, WebApps'10, Boston, Massachusetts, USA, June 23-24, 2010. USENIX Association, 2010. [doi]
@inproceedings{BohannonP10,
title = {Featherweight Firefox: Formalizing the Core of a Web Browser},
author = {Aaron Bohannon and Benjamin C. Pierce},
year = {2010},
url = {https://www.usenix.org/conference/webapps-10/featherweight-firefox-formalizing-core-web-browser},
researchr = {https://researchr.org/publication/BohannonP10},
cites = {0},
citedby = {0},
booktitle = {USENIX Conference on Web Application Development, WebApps'10, Boston, Massachusetts, USA, June 23-24, 2010},
editor = {John K. Ousterhout},
publisher = {USENIX Association},
}