Tools for practical software verification : LASER, international summer school 2011 : Elba Island, Italy : revised tutorial lectures : 8th LASER summer school on software engineering: tools for practical software verification : Sep 2011, ------. (Lecture Notes in Computer Science ; 7682. Tutorial)
資料に関する注記
一般注記:
形態の詳細:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。