Metadata only
Date
2015Type
- Other Conference Item
Citations
Cited null times in
Web of Science
Cited 58 times in
Scopus
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Book title
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (POPL) 2015Pages / Article No.
Publisher
Association for Computing MachineryEvent
Organisational unit
03908 - Krause, Andreas / Krause, Andreas
03948 - Vechev, Martin / Vechev, Martin
More
Show all metadata
Citations
Cited null times in
Web of Science
Cited 58 times in
Scopus
ETH Bibliography
yes
Altmetrics