文献
J-GLOBAL ID：201902202216475179   整理番号：19S1424094

Model-checking C programs against JML-like specification language

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (3件)：
Sakai, Masahiro

Sakai, Masahiro について

(System Engineering Laboratory, Corporate R and D Center Toshiba Corporation 1)

System Engineering Laboratory, Corporate R and D Center Toshiba Corporation 1 について

, 
Maruchi, Kohei

Maruchi, Kohei について

(System Engineering Laboratory, Corporate R and D Center Toshiba Corporation 1)

System Engineering Laboratory, Corporate R and D Center Toshiba Corporation 1 について

, 
Imai, Takeo

Imai, Takeo について

(System Engineering Laboratory, Corporate R and D Center Toshiba Corporation 1)

System Engineering Laboratory, Corporate R and D Center Toshiba Corporation 1 について


資料名：
Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Proceedings - Asia-Pacific Software Engineering Conference, APSEC について


巻： 1  ページ： 174-183  発行年： 2012年 
JST資料番号： SCOPUS  ISSN： 1530-1362  ISBN： 9780769549224 
発行国： アメリカ (USA)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM