News

Award

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

Date

Nov. 14, 2018.

Links
3373

SPECIAL