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: 9783540921899

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

まだ評価がありません