Home >

news Help

Publication Information


Title
Japanese:整数オーバーフローの未定義動作検出に対する整数境界値の定量的評価 
English: 
Author
Japanese: 森川知哉, 荒堀喜貴, 権藤克彦.  
English: Tomoya Morikawa, Yoshitaka Arahori, Katsuhiko Gondow.  
Language Japanese 
Journal/Book name
Japanese:コンピュータソフトウェア（レター論文） 
English: 
Volume, Number, Page Vol. 31    No. 1   
Published date Jan. 2014 
Publisher
Japanese: 
English: 
Conference name
Japanese: 
English: 
Conference site
Japanese: 
English: 

©2007 Tokyo Institute of Technology All rights reserved.