Alberto Griggio - ESEC/FSE 2018

Sun 4 - Fri 9 November 2018 Lake Buena Vista, Florida, United States

Not registered as user

Name:Alberto Griggio

Country:Italy

Affiliation:Fondazione Bruno Kessler

Personal website: https://es-static.fbk.eu/people/griggio/

Contributions

2018

ESEC/FSE

Symbolic Execution with Existential Second-Order Constraints

Show activities from other conferences

ESEC/FSE 2018-profile
View general profile