WEKO3
アイテム / Completeness of Verification System with Separation Logic for Recursive Procedures(再帰手続きに対する分離論理による検証体系の完全性) / 甲1889
甲1889
ファイル | ライセンス |
---|---|
甲1889.pdf (240.2 kB) sha256 835b3aebd0f799cbb8e5339646792062d2fd8aa0fd3c7d29149342101d23c057 |
公開日 | 2016-12-02 | |||||
---|---|---|---|---|---|---|
ファイル名 | 甲1889.pdf | |||||
本文URL | https://ir.soken.ac.jp/record/5508/files/甲1889.pdf | |||||
ラベル | 要旨・審査要旨 / Abstract, Screening Result | |||||
フォーマット | application/pdf | |||||
サイズ | 240.2 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|