An Integrated Theory of Type-Based Static and Dynamic Verification
© 2015 Springer. http://dx.doi.org/10.1007/978-3-319-26529-2_11© 2015 ACM, Inc. http://doi.acm.org/10.1145/2676726.2676996 === 京都大学 === 0048 === 新制・課程博士 === 博士(情報学) === 甲第19863号 === 情博第614号 === 新制||情||107(附属図書館) === 32899 === 京都大学大学院情報学研究科通信情報システム専攻 === (主査)教授 五十嵐 淳, 教授 山本 章博, 教授 岡部 寿男 === 学位規則第4条第1...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
京都大学 (Kyoto University)
2016
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2433/215690 |