国際会議(査読付)

[1] Soshi Inoue, Eunjong Choi, Kinari Nishiura, and Osamu Mizuno, "Analyzing the Inpact of Formal Methods on Isuue Trends Using Bertopic," In Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024), May 2024.