Home >

news Help

Publication Information


Title
Japanese:検証付きプログラムに対する対話的修正の合成 
English: 
Author
Japanese: 森口草介, 渡部卓雄.  
English: Sosuke Moriguchi, TAKUO WATANABE.  
Language Japanese 
Journal/Book name
Japanese:レクチャーノート/ソフトウェア学 
English: 
Volume, Number, Page Vol. 39        pp. 131-136
Published date Nov. 28, 2013 
Publisher
Japanese:近代科学社 
English: 
Conference name
Japanese:日本ソフトウェア科学会ソフトウェア工学の基礎ワークショップ(FOSE 2013) 
English: 
Conference site
Japanese:石川県加賀市山代温泉 
English: 

©2007 Tokyo Institute of Technology All rights reserved.