Metadata only
Datum
2015Typ
- Other Conference Item
Publikationsstatus
publishedExterne Links
Buchtitel
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (POPL) 2015Seiten / Artikelnummer
Verlag
Association for Computing MachineryKonferenz
Organisationseinheit
03908 - Krause, Andreas / Krause, Andreas
03948 - Vechev, Martin / Vechev, Martin