Formal verification of object-oriented software : international conference, FoVeOOS 2010 : Paris, France, June 28-30, 2010 : revised selected papers. : Jun 2010, Paris, France. (Lecture Notes in Computer Science ; 6528)
Formal verification of object-oriented software : international conference, FoVeOOS 2010 : Paris, France, June 28-30, 2010 : revised selected papers. : Jun 2010, Paris, France.
(Lecture Notes in Computer Science ; 6528)
国立国会図書館請求記号
M17-11-1891
国立国会図書館書誌ID
000011188406
資料種別
図書
著者
COST Action IC0701 "Formal Verification of Object-Oriented Software".ほか