Jain, N.,
Kaneko, K. &
Sharma, S.,
2022,
Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Proceedings. Schlingloff, B-H. & Chai, M. (eds.).
Springer Science and Business Media Deutschland GmbH,
p. 244-250 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13550 LNCS).
研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与