Martin T. Vechev
AuthID: R-00J-THF
1
TITLE: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017 Full Text
AUTHORS: Albert Cohen; Martin T Vechev;
PUBLISHED: 2017, SOURCE: PLDI
AUTHORS: Albert Cohen; Martin T Vechev;
PUBLISHED: 2017, SOURCE: PLDI
INDEXED IN: DBLP