Marcello M. Bonsangue profile picture

Marcello M. Bonsangue

Is this your author profile? Create an account to customize it!

Stand Alone

Formal methods for components and objects
Formal Methods for Open Object-Based Distributed Systems
Data Science and Artificial Intelligence