Home >

news ヘルプ

論文・著書情報


タイトル
和文: 
英文:An Interactive Extension Mechanism for Reusing Verified Programs 
著者
和文: 森口 草介, 渡部 卓雄.  
英文: Sosuke Moriguchi, Takuo Watanabe.  
言語 English 
掲載誌/書名
和文: 
英文: 
巻, 号, ページ         pp. 1236-1243
出版年月 2013年3月19日 
出版者
和文: 
英文:Association for Computing Machinery 
会議名称
和文: 
英文:28th ACM Symposium on Applied Computing 
開催地
和文: 
英文:Coimbra 
DOI https://doi.org/10.1145/2480362.2480594

©2007 Institute of Science Tokyo All rights reserved.