Ivan Lanese · 4 obras en el catálogoObrasReversible ComputationFormal Techniques for Distributed Objects, Components, and SystemsTTheoretical Computer ScienceTheoretical Computer ScienceFFormal Aspects of Component SoftwareFormal Aspects of Component Software