A paper by Tsutomu Kobayashi and Assoc. Prof. Fuyuki Ishikawa was awarded as Best Paper Award of ICLP 2018
Award Paper Title
Analysis on Strategies of Superposition Refinement of Event-B Specifications
Authors of award paper
Tsutomu Kobayashi and Fuyuki Ishikawa: National Institute of Informatics
Nov. 14, 2018.