文献

J-GLOBAL ID：201202220060152320   整理番号：12A0908154

STANSE:Cプログラムのためのバグ見つけ枠組

STANSE: Bug-Finding Framework for C Programs

著者 (3件)： OBDRZALEK Jan (Masaryk Univ., Brno, CZE) ,  SLABY Jiri (Masaryk Univ., Brno, CZE) ,  TRTIK Marek (Masaryk Univ., Brno, CZE)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7119  ページ： 167-178  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： バグ ,  枠組