FM 2011: formal methods : 17th international symposium on formal methods : Limerick, Ireland, June 20-24, 2011 : proceedings : Jun 2011, Limerick, Ireland.
(Lecture Notes in Computer Science ; 6664)
国立国会図書館請求記号
M17-12-19
国立国会図書館書誌ID
000011243277
資料種別
図書
著者
International Symposium of Formal Methods Europe (17th : 2011 : Limerick, Limerick, Ireland)ほか