M
Marcello M. Bonsangue
5 works on record
Works
Formal methods for components and objects
Formal Methods for Open Object-Based Distributed Systems
Coalgebraic Methods in Computer Science
Data Science and Artificial Intelligence
Data Science and Artificial Intelligence
Theoretical Aspects of Computing - ICTAC 2024
Theoretical Aspects of Computing - ICTAC 2024