Non abbiamo ancora una biografia di Ivan Lanese.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Theoretical Computer Science
2014
Reversible Computation
2020
Formal Techniques for Distributed Objects, Components, and Systems
2016
Formal Aspects of Component Software
2015
Otium
