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

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

Frank S. de Boer , Marcello M. Bonsangue , Stefan Hallerstede

No ratings yet