Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Erweiterte Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
(21799)
Fakultäten (HAW)
(1721)
Forschungszentren und -initiativen
(2009)
CISS
(89)
CODE
(842)
dtec.bw
(284)
INDOR
(429)
MARC
(11)
MOVE
(13)
RISK
(269)
SENS
SPACE
(111)
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
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Autoren:
Mitchell, Duncan; van Binsbergen, L. Thomas; Loring, Blake; Kinder, Johannes
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Checking Cryptographic API Usage with Composable Annotations
Titel Konferenzpublikation:
Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM’18)
Konferenztitel:
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (2018, Los Angeles, CA)
Konferenztitel:
PEPM’18, January 8–9, 2018, Los Angeles, CA, USA
Tagungsort:
Los Angeles, CA, USA
Jahr der Konferenz:
2018
Datum Beginn der Konferenz:
08.01.2018
Datum Ende der Konferenz:
09.01.2016
Verlagsort:
New York
Verlag:
ACM
Jahr:
2018
Seiten von - bis:
53-59
Sprache:
Englisch
DOI:
10.1145/3162071
URL zum Inhalt:
https://doi.org/10.1145/3162071
Open Access ja oder nein?:
Ja / Yes
BibTeX
Vorkommen:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE