Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

Not registered as user yet

Name: Taichi Tomioka

Affiliation: Waseda University

Contributions

META 2016 Implementation of LMNtal Model Checkers: a Metaprogramming Approach
Show activities from other conferences

SPLASH 2016-profile
View general profile