Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani Presented by Yifan Li ([email protected]) November 22nd In PLDI 01: Programming Language.
Yi-Fan Li (1) and Ashbindu Singh (2)
Young Voices Magazine 2013
