文献

J-GLOBAL ID：201302265914445238   整理番号：13A0801134

ESBMC1.20を用いた無限ループ処理

Handling Unbounded Loops with ESBMC 1.20

著者 (5件)： MORSE Jeremy (Univ. Southampton, GBR) ,  CORDEIRO Lucas (Federal Univ. Amazonas, BRA) ,  NICOLE Denis (Univ. Southampton, GBR) ,  FISCHER Bernd (Univ. Southampton, GBR) ,  FISCHER Bernd (Stellenbosch Univ., ZAF)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7795  ページ： 619-622  発行年： 2013年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 無限 ,  ループ