Return to search

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項該当 / Doctor of Informatics / Kyoto University / DFAM

Identiferoai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/215690
Date23 March 2016
CreatorsSekiyama, Taro
Contributors五十嵐, 淳, 山本, 章博, 岡部, 寿男, 関山, 太朗, セキヤマ, タロウ
Publisher京都大学 (Kyoto University), 京都大学
Source SetsKyoto University
LanguageEnglish
Detected LanguageEnglish
Typedoctoral thesis, Thesis or Dissertation
Formatapplication/pdf
Relationhttp://dx.doi.org/10.1145/2676726.2676996, http://dx.doi.org/10.1007/978-3-319-26529-2_11

Page generated in 0.0024 seconds