VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Tue 19 Jan 2016 16:30 - 17:00 at Room St Petersburg I - Solver Improvements Chair(s): Roopsha Samanta

Tue 19 Jan

VMCAI-2016-papers
16:00 - 17:00: VMCAI - Solver Improvements at Room St Petersburg I
Chair(s): Roopsha SamantaIST Austria
VMCAI-2016-papers16:00 - 16:30
Talk
VMCAI-2016-papers16:30 - 17:00
Talk