Universität der Bundeswehr München: AtheneForschung
User: Guest
 
Login
de
en
Advanced search
Home / All Content
Publications (University Bibliography)
Fakultäten (univ.)
(22582)
Fakultäten (HAW)
(1842)
Forschungszentren und -initiativen
(2263)
CISS
(89)
CODE
(971)
dtec.bw
(358)
INDOR
(455)
MARC
(13)
MOVE
(15)
RISK
(282)
SENS
(1)
SPACE
(130)
Weitere Einrichtungen
(17)
Projects
Electronic Accepted Theses
Open Access Publications
Patents
Research Data
Research Profiles
Videos for the UniBw M Website
Digitized Media
Working Group E-Learning
University Library Documents
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE
Authors:
Loring, Blake; Mitchell, Duncan; Kinder, Johannes
Document type:
Konferenzbeitrag / Conference Paper
Title:
Sound regular expression semantics for dynamic symbolic execution of JavaScript
Title of conference publication:
PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
Conference title:
ACM SIGPLAN Conference on Programming Language Design and Implementation (40., 2019, Phoenix, AZ)
Venue:
Phoenix, AZ, USA
Year of conference:
2019
Date of conference beginning:
22.06.2019
Date of conference ending:
26.06.2019
Place of publication:
New York
Publisher:
ACM
Year:
2019
Pages from - to:
425-438
Language:
Englisch
ISBN:
978-1-4503-6712-7
DOI:
10.1145/3314221.3314645
URL:
https://doi.org/10.1145/3314221.3314645
Department:
Fakultät für Informatik
Institute:
INF 6 - Institut für Systemsicherheit
Chair:
Kinder, Johannes
Research Hub UniBw M:
CODE
Open Access yes or no?:
Nein / No
BibTeX
Occurrences:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit