Not registered as user yet

Name: Yutaro Tsunekawa

Affiliation: Waseda University

Contributions

META 2016Author of Implementation of LMNtal Model Checkers: a Metaprogramming Approach within the Meta 2016-track