Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Takashi Suwa
conf.researchr.org general profile
POPL 2017 profile
Registered user since Wed 21 Sep 2016
Name:
Takashi Suwa
Country:
Japan
Affiliation:
University of Tokyo, Japan
Contributions
2017
PEPM
Author of Verification of Code Generators via Higher-Order Model Checking within the PEPM 2017-track
Share
x
Sat 9 Nov 20:18