文献
J-GLOBAL ID：201902207323715907   整理番号：19S0035454

Completeness of pointer program verification by separation logic

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

Tatsuta, Makoto について

(National Institute of Informatics)

National Institute of Informatics について

, 
Chin, Wei-Ngan

Chin, Wei-Ngan について

(Department of Computer Science, National University of Singapore)

Department of Computer Science, National University of Singapore について

, 
Al Ameen, Mahmudul Faisal

Al Ameen, Mahmudul Faisal について

(Department of Informatics, Graduate University for Advanced Studies)

Department of Informatics, Graduate University for Advanced Studies について


資料名：
SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods

SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods について


ページ： 179-188  発行年： 2009年 
JST資料番号： SCOPUS  ISBN： 9780769538709 
発行国： アメリカ (USA)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM