Registered user since Tue 18 Aug 2015

Name:Luca Padovani
Country:Italy
Affiliation:University of Camerino
Research interests:programming languages, type systems, concurrency theory, distributed computing, formal verification

Contributions