Logo
Benutzer: Gast  Login
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 
Open Access ja oder nein?:
Ja / Yes