Marcello Bonsangue

Books that list Marcello Bonsangue among their authors but not as the lead author: co-written works, collections and compilations.

Formal methods for components and objectsFrank S. de Boer

Formal methods for components and objects

Frank S. de Boer · 2003

It's All About CoordinationFrank de Boer

It's All About Coordination

Frank de Boer · 2018

Theory and Practice of Formal MethodsErika Abraham

Theory and Practice of Formal Methods

Erika Abraham · 2016