Yoshihiro Tobita

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Deterministic Finite Automaton

Automated Verification

Top Venues

Publications

Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi
Exact Flow Analysis by Higher-Order Model Checking. FLOPS (2012)