Home >

news Help

Publication Information


Title
Japanese:Coqのための対話的修正機構を用いた変更の織り込み手法 
English: 
Author
Japanese: 森口草介, 渡部卓雄.  
English: Sosuke Moriguchi, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Sept. 27, 2011 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本ソフトウェア科学会第28回大会 
English:JSSST 28th Annual Conference 
Conference site
Japanese:沖縄県那覇市 
English: 

©2007 Tokyo Institute of Technology All rights reserved.