Write a Blog >>
VMCAI 2017
Sun 15 - Tue 17 January 2017
co-located with POPL 2017
Tue 17 Jan 2017 09:00 - 10:00 at Amphitheater 44 - Invited talk 3 Chair(s): Andreas Podelski

Tue 17 Jan

VMCAI-2017-papers
09:00 - 10:00: VMCAI - Invited talk 3 at Amphitheater 44
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
VMCAI-2017-papers09:00 - 10:00
Talk
Jasmin FisherMicrosoft Research