Mario Bravetti
Mario Bravetti
3 books in the database
Books
Web services and formal methodsMario Bravetti
Web services and formal methods
Mario Bravetti · 2006
CONCUR 2009 - Concurrency TheoryMario Bravetti
CONCUR 2009 - Concurrency Theory
Mario Bravetti · 2009
Formal Techniques for Computer Systems and Business ProcessesMario Bravetti
Formal Techniques for Computer Systems and Business Processes
Mario Bravetti · 2005
Co-authored books and collections
Books that list Mario Bravetti among their authors but not as the lead author: co-written works, collections and compilations.
