Roberto Bruni

No bio available. Add one in Open Library.

Books by Roberto Bruni (50 max)

+ shelf+ list

Models of Computation

2017

Roberto Bruni, Ugo Montanari

+ shelf+ list

Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

2007

Roberto Bruni

+ shelf+ list

Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

2009

Roberto Bruni, Karsten Wolf

+ shelf+ list

Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

2011

Roberto Bruni

+ shelf+ list

Trustworthy Global Computing 6th International Symposium Revised Selected Papers

2012

Roberto Bruni