安部 達也  Abe Tatsuya

Proceedings of SPIN

巻: LNCS 10869 ページ: 196-215

10.1007/978-3-319-94111-0_12

Journal of Information Processing

巻: 26 号: 0 ページ: 314-326

10.2197/ipsjjip.26.314

130006507556

Proceedings of HVC

巻: 10629 ページ: 51-66

10.1007/978-3-319-70389-3_4

Proceedings of the ACM on Programming Languages

巻: 1 号: OOPSLA ページ: 1-26

10.1145/3133877

Proceedings of VSTTE

巻: 10712 ページ: 170-190

10.1007/978-3-319-72308-2_11

Journal of Information Processing

巻: 25 号: 0 ページ: 244-255

10.2197/ipsjjip.25.244

130005395246

International Journal on Software Tools for Technology Transfer

巻: 印刷中 号: 5 ページ: 623-647

10.1007/s10009-016-0429-y

Proceedings of the 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications

巻: LNCS 9984

第 23 回ソフトウェア工学の基礎ワークショップ

巻: なし

The 2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications

巻: LNCS 9984 ページ: 118-135

10.1007/978-3-319-47677-3_8

Proceedings of the 14th Asian Symposium on Programming Languages and Systems

巻: LNCS 10017 ページ: 63-84

10.1007/978-3-319-47958-3_4