著作(論文等)

基本情報

氏名 熊澤 努
氏名(カナ) クマザワ ツトム
氏名(英語) Kumazawa Tsutomu

論文名

Iterative model fixing with counterexamples

著者名

Tsutomu Kumazawa , Tetsuo Tamai

掲載誌名等

Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference (APSEC '08)

掲載年月

2008/12

 

 

開始頁

369

 

終了頁

376

出版者(日本語)

 

出版者(英語)

 

発表形態

研究論文(国際会議プロシーディングス)

概要