国際会議(査読付)

[1] Soshi Inoue, Eunjong Choi, Kinari Nishiura, and Osamu Mizuno, "Analysis of Issues in Formal Software Development Using Topic Model," In Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024), May 2024.