国際会議APLAS 2018(ニュージーランド)で飯干(B3)がポスター発表をしました

12/2-6ニュージーランドで行われたThe 16th Asian Symposium on Programming Languages and Systems (APLAS 2018)で学部3年の飯干がポスターセッションを行いました.

発表者:飯干寛幸

タイトル:Model Checking of a Persistent Concurrent Queue

IMG_20181203_195849IMG_20181203_1938492018-12-05 19.24.49