Featherweight Firefox: Formalizing the Core of a Web Browser

Submitted by Anonymous (not verified) on February 8, 2021 - 11:40 pm
TitleFeatherweight Firefox: Formalizing the Core of a Web Browser
Publication TypeConference Paper
Year of Publication2010
AuthorsBohannon A, Pierce BC
Conference NameUSENIX Conference on Web Application Development (WebApps 10)
Date Published06/2010
PublisherUSENIX Association
URLhttps://www.usenix.org/conference/webapps-10/featherweight-firefox-formalizing-core-web-browser