Formal Methods for Components and Objects: 8th Symposium on FormalMethods for Components and Objects, held in Eindhoven, The Netherlands, inNovember 2009

Frank S. de Boer , Marcello M. Bonsangue , Susanne Graf