Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012 : Philadelphia, PA, USA, January 22-24, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7148)
資料に関する注記
一般注記:
形態の詳細:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。