松元の論文が2020年1月に最も閲覧された論文第5位に入りました

松元(M2)(2018年度卒)の論文が,Journal of Information Processingの2020年1月のMost viewed article 5位に入りました.

おめでとうございます!

論文: 「Visualization of Counterexamples of Memory Model-aware Model Checking Using SPIN」

スクリーンショット 2020-02-13 18.10.59