Buro, Samuele
Mastroeni, Isabella
Chapter History
First Online: 29 December 2017
Conference Information
Conference Acronym: VMCAI
Conference Name: International Conference on Verification, Model Checking, and Abstract Interpretation
Conference City: Los Angeles
Conference Country: USA
Conference Year: 2018
Conference Start Date: 7 January 2018
Conference End Date: 9 January 2018
Conference Number: 19
Conference ID: vmcai2018
Conference URL: https://popl18.sigplan.org/track/VMCAI-2018