Principles of Programming Languages (POPL2018)

L. Thomas van Binsbergen (Participant)

Department of Computer Science

Activity: Participating in or organising an event › Participation in a conference

Period	2018
Event type	Other
Sponsor

Related content

Research output
Checking cryptographic API usage with composable annotations
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution