すべて 2023 2022 2021 2020 2018 2017 2016 2015 2014 2013 2012 その他
すべて 雑誌論文 学会発表 産業財産権
第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023)論文集
巻: ー
34th International Conference on Computer-Aided Verification
巻: 13371 ページ: 447-468
10.1007/978-3-031-13185-1_22
Computer Aided Verification. CAV 2022. Lecture Notes in Computer Science.
巻: vol 13371 ページ: 235-256
10.1007/978-3-031-13185-1_12
New Generation Computing
巻: 40 号: 2 ページ: 507-540
10.1007/s00354-022-00167-1
ACCV 2020
巻: 12624 ページ: 189-205
10.1007/978-3-030-69535-4_12
arXiv
巻: -
Proceedings of TACAS 2021, Springer LNCS
巻: 12652 ページ: 262-280
10.1007/978-3-030-72013-1_14
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning
巻: － ページ: 411-421
10.24963/kr.2021/39
Lecture Notes in Computer Science book series
巻: 12974 ページ: 100-120
10.1007/978-3-030-88494-9_6
Proceedings of ESOP 2020, Springer LNCS
巻: 12075 ページ: 684-714
10.1007/978-3-030-44914-8_25
120006879514
VMCAI 2020
巻: 11990 ページ: 293-313
10.1007/978-3-030-39322-9_14
Proc. MT-CPS 2018
巻: - ページ: 14-15
10.1109/mt-cps.2018.00014
Proc. APLAS 2017, Lecture Notes in Computer Science
巻: 10695 ページ: 491-513
10.1007/978-3-319-71237-6_24
Proc. FORMATS 2017, Lecture Notes in Computer Science
巻: 10419 ページ: 224-243
10.1007/978-3-319-65765-3_13
日本ソフトウェア科学会第33回大会論文集
40021053614
Electronic Proceedings in Theoretical Computer Science
巻: 174 ページ: 22-39
10.4204/eptcs.174.3
第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)論文集
巻: 1
Lecture Notes in Computer Science (Proceedings of Asian Symposium on Programming Languages and Systems)
巻: 8858 ページ: 58-77
10.1007/978-3-319-12736-1_4
計測と制御
巻: 53
Proc. POPL
巻: 40 ページ: 417-430
10.1145/2429069.2429120
Proc. Computer Aided Verification - 24th International Conference, Lecture Notes in Computer Science
巻: 7358 ページ: 462-478
10.1007/978-3-642-31424-7_34
Proc. of ACM OOPSLA
巻: 27 ページ: 1-20
10.1145/2384616.2384618
