Gianluigi Zavattaro
Gianluigi Zavattaro
1 books in the database
Books
Co-authored books and collections
Books that list Gianluigi Zavattaro among their authors but not as the lead author: co-written works, collections and compilations.
Web services and formal methodsMario Bravetti
Web services and formal methods
Mario Bravetti · 2006
Formal Methods for Web ServicesMarco Bernardo
Formal Methods for Web Services
Marco Bernardo · 2009
CONCUR 2009 - Concurrency TheoryMario Bravetti
CONCUR 2009 - Concurrency Theory
Mario Bravetti · 2009
Coordination Models and LanguagesDoug Lea
Coordination Models and Languages
Doug Lea · 2008
Formal Methods for Computational Systems BiologyMarco Bernardo
Formal Methods for Computational Systems Biology
Marco Bernardo · 2008
Formal Techniques for Computer Systems and Business ProcessesMario Bravetti
Formal Techniques for Computer Systems and Business Processes
Mario Bravetti · 2005