Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011 : São Paulo, Brazil, September 26-30, 2011 : revised selected papers : Sep 2011, São Paulo, Brazil.
(Lecture Notes in Computer Science ; 7021)
国立国会図書館請求記号
M17-12-1762
国立国会図書館書誌ID
023266096
資料種別
図書
著者
Brazilian Symposium on Formal Methods (14th : 2011 : São Paulo, Brazil)ほか