著作(論文等)
|
|
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
研究論文（国際会議プロシーディングス）
|
