著作(論文等)

Basic information

Name Kumazawa Tsutomu

論文名

モデルに基づく誤り特定と反例修正候補の提示

著者名

熊澤 努 , 玉井哲雄

掲載誌名等

ソフトウェアエンジニアリング最前線 : 情報処理学会ソフトウェアエンジニアリングシンポジウム 2009

掲載年月

2009-09

 

 

開始頁

55

 

ENG

終了頁

62

出版者(日本語)

 

出版者(英語)

 

発表形態

研究論文(研究会,シンポジウム資料等)

概要