2019年8月
Completeness and Expressiveness of Pointer Program Verification by Separation Logic
Information and Computation
- 巻
- 267
- 号
- 開始ページ
- 1
- 終了ページ
- 27
- 記述言語
- 英語
- 掲載種別
- 研究論文（学術雑誌）
龍田 真
Makoto Tatsuta
更新日: 03/29