Marcello M. Bonsangue · 6 obras en el catálogoObrasFormal methods for components and objectsFormal methods for components and objectsFormal Methods for Open Object-Based Distributed SystemsCoalgebraic Methods in Computer ScienceDData Science and Artificial IntelligenceData Science and Artificial IntelligenceTTheoretical Aspects of Computing - ICTAC 2024Theoretical Aspects of Computing - ICTAC 2024