• Sign in
  • Sign up
conf.researchr.org / Ryota Suzuki
  • ICFP 2017 profile
  • SPLASH 2020 profile

Not registered as user yet

Name: Ryota Suzuki

Contributions

SAS 2020 Author of Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking within the SAS-track
FSCD 2017 Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track

Share
xSun 7 Mar 16:56
using conf.researchr.org (v1.43.2)
Support page
Sign Up