An Integrated Theory of Type-Based Static and Dynamic Verification 型に基づく静的・動的検証の統合理論
この論文にアクセスする
著者
書誌事項
- タイトル
-
An Integrated Theory of Type-Based Static and Dynamic Verification
- タイトル別名
-
型に基づく静的・動的検証の統合理論
- 著者名
-
Sekiyama, Taro
- 学位授与大学
-
京都大学
- 取得学位
-
博士(情報学)
- 学位授与番号
-
甲第19863号
- 学位授与年月日
-
2016-03-23
注記・抄録
© 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
目次
- 2021-05-25 再収集 (3コマ目)
- 2021-05-25 再収集 (4コマ目)
- 2023-09-04 再収集 (5コマ目)
- 2023-09-04 再収集 (6コマ目)
- 2023-09-04 再収集 (7コマ目)
