Metadata only
Datum
2014-06Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
ACM SIGPLAN NoticesBand
Seiten / Artikelnummer
Verlag
Association for Computing MachineryKonferenz
Organisationseinheit
03948 - Vechev, Martin / Vechev, Martin
Zugehörige Publikationen und Daten
Is source of: https://doi.org/10.3929/ethz-b-000448465
ETH Bibliographie
yes
Altmetrics