Behavioral Types in Programming LanguagesDavide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna · First published 2016Open the Tome
Software Engineering and Formal MethodsRobert M. Hierons, Mercedes G. Merayo, Mario Bravetti · First published 2013Open the Tome
Concur 2009 - Concurrency TheoryGianluigi Zavattaro,Mario Bravetti · First published 2009Open the Tome
CONCUR 2009 - Concurrency TheoryMario Bravetti, Gianluigi Zavattaro · First published 2009Open the Tome
Formal Techniques for Computer Systems and Business ProcessesGianluigi Zavattaro,Mario Bravetti,Leila Kloul · First published 2008Open the Tome
Web Services and Formal MethodsGianluigi Zavattaro,Mario Bravetti,Manuel N. Ez · First published 2008Open the Tome
Web services and formal methodsMario Bravetti, Manuel Núñez, Gianluigi Zavattaro · First published 2006Open the Tome
Formal Techniques for Computer Systems and Business ProcessesMario Bravetti, Leila Kloul, Gianluigi Zavattaro · First published 2005Open the Tome
