Not registered as user yet

Name: Yutaro Tsunekawa

Affiliation: Waseda University

SPLASH 2016 Activities

• Author of Implementation of LMNtal Model Checkers: a Metaprogramming Approach within the Meta 2016-track in META 2016
• Show activities from other conferences