Mario Bravetti -

Not registered as user yet

Name:Mario Bravetti

Country:Italy

Affiliation:Università di Bologna

Personal website:http://www.cs.unibo.it/~bravetti/

Contributions

APLAS 2020	Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track
FASE 2019	Author of Optimal and Automated Deployment for Microservices within the FASE 2019-track Committee Member in Program Committee within the FASE 2019-track
BEAT 2019	Author of Getting Rid of Null-Dereferences – Behavioural Types to the Rescue within the BEAT 2019-track