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
regex-arxiv
Authors:
Loring, Blake; Mitchell, Duncan; Kinder, Johannes
Document type:
Technischer Report / Technical Report
Title:
Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript
Publishing institution:
arXiv
Year:
2018
Language:
Englisch
Report number:
CoRR:abs/1810.05661
URL:
https://arxiv.org/abs/1810.05661
Open Access yes or no?:
Ja / Yes
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