Not registered as user yet

Name: Letterio Galletta

Affiliation: IMT School for Advanced Studies

Contributions

PriSC 2019Author of Translation Validation for Security Properties within the PriSC 2019-track