C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Takashi Suwa
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Artifact Centric
Automated Verification
Linear Temporal Logic
Reachability Analysis
Top Venues
PEPM
</>
Publications
</>
Takashi Suwa
,
Takeshi Tsukada
,
Naoki Kobayashi
,
Atsushi Igarashi
Verification of code generators via higher-order model checking.
PEPM
(2017)