P
Desai, Ankush, Gupta, Vivek, Jackson, Ethan, Qadeer, Shaz, Rajamani, Sriram, Zufferey, DamienVolume:
48
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/2499370.2462184
Date:
June, 2013
File:
PDF, 944 KB
english, 2013