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
Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Coalgebraic Methods in Computer Science 12th Ifip Wg 1. 3 International Workshop, Cmcs 2014, Colocated with Etaps 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers