Marcello Bonsangue

Identifiers

Open LibraryOL8006834A

Top Subjects

Computer science (1)

Books by Marcello Bonsangue

Total count: 3

Formal Methods for Components and ObjectsFirst International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures

Springer London, Limited2003-01-01
Theory and Practice of Formal MethodsEssays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Springer London, Limited2016-01-01
It's All About CoordinationEssays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Springer2018-04-07