Formal aspects in security and trust : 6th international workshop, FAST 2009 : Eindhoven, the Netherlands, November 5-6, 2009 : revised selected papers. : formal methods week 2009 : FAST09 : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5983)
資料に関する注記
一般注記:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。