Ivan Lanese
Ivan Lanese
1 books in the database
Books
Co-authored books and collections
Books that list Ivan Lanese among their authors but not as the lead author: co-written works, collections and compilations.
Formal Techniques for Distributed Objects, Components, and SystemsElvira Albert
Formal Techniques for Distributed Objects, Components, and Systems
Elvira Albert · 2016
Reversible ComputationSimon Devitt
Reversible Computation
Simon Devitt · 2020
Theoretical Computer ScienceJosep Diaz
Theoretical Computer Science
Josep Diaz · 2014