Rastislav Bod?K
AuthID: R-00J-THG
1
TITLE: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 Full Text
AUTHORS: Rastislav Bodík; Rupak Majumdar;
PUBLISHED: 2016, SOURCE: POPL
AUTHORS: Rastislav Bodík; Rupak Majumdar;
PUBLISHED: 2016, SOURCE: POPL
INDEXED IN: 
DBLP
DBLP