VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016

Tue 19 Jan

VMCAI-2016-papers
14:00 - 15:30: VMCAI - Parameterized and Component-Based Systems at Room St Petersburg I
Chair(s): Arie GurfinkelCarnegie Mellon University
VMCAI-2016-papers14:00 - 14:30
Talk
Anthony Widjaja LinYale-NUS College, Singapore, Truong Khanh Nguyen, Philipp RuemmerUppsala University, Jun Sun
VMCAI-2016-papers14:30 - 15:00
Talk
VMCAI-2016-papers15:00 - 15:30
Talk