Mario Bravetti profile picture

Mario Bravetti

Is this your author profile? Create an account to customize it!

Stand Alone

Web services and formal methods
CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
Behavioral Types in Programming Languages
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings