2022年電子情報通信学会総合大会COMP学生シンポジウムでの発表 "Extended MSO model checking via small vertex integrity" が最優秀論文賞を受賞しました

3月 15, 2022