Not registered as user yet

Name:Keijiro Araki
Affiliation:Kyushu Institute of Technology, Japan

Contributions

FormaliSE 2018 Committee Member in Program Committee within the FormaliSE 2018-track