Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Erweiterte Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
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)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
Patente
Forschungsdaten
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE
regex-arxiv
Autoren:
Loring, Blake; Mitchell, Duncan; Kinder, Johannes
Dokumenttyp:
Technischer Report / Technical Report
Titel:
Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript
Verlegende Institution:
arXiv
Jahr:
2018
Sprache:
Englisch
Reportnummer:
CoRR:abs/1810.05661
URL zum Inhalt:
https://arxiv.org/abs/1810.05661
Open Access ja oder nein?:
Ja / Yes
BibTeX
Vorkommen:
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