Roberto Bruni

Books
Non solo fulmini e saette Non solo fulmini e saette
Non solo fulmini e saette
2025
Formal Techniques for Distributed Systems Formal Techniques for Distributed Systems
Formal Techniques for Distributed Systems
2011