APLAS 2020 (series) / 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 | Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
APLAS 2020-profile
View general profile
View general profile