Marcello M. Bonsangue

No biography available.

Works (4)

Cover of Formal methods for components and objects

Formal methods for components and objects

Cover of Formal methods for components and objects

Formal methods for components and objects

Cover of Coalgebraic Methods in Computer Science

Coalgebraic Methods in Computer Science

Cover of Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems