• Sign in
  • Sign up
conf.researchr.org / Mario Bravetti
  • APLAS 2020 profile
  • ETAPS 2019 profile
  • POPL 2019 profile
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

Share
xFri 9 Jun 22:34
using conf.researchr.org (v1.60.0)
Support page
Sign Up