Sun 7 Jan 2018 09:00 - 10:00 at Watercourt - Invited Talk by Ranjit Jhala Chair(s): Isil Dillig

Nom nom. Chomp. Burp.

Sun 7 Jan

VMCAI-2018
09:00 - 10:00: VMCAI 2018 - Invited Talk by Ranjit Jhala at Watercourt
Chair(s): Isil DilligUT Austin
VMCAI-201809:00 - 10:00
Talk
Ranjit JhalaUniversity of California, San Diego