Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ryota Suzuki
conf.researchr.org general profile
ICFP 2017 profile
SPLASH 2020 profile
Not registered as user
Name:
Ryota Suzuki
Contributions
2020
Static Analysis Symposium
Author of Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking within the SAS-track
2017
FSCD
Author of Streett Automata Model Checking of Higher-Order Recursion Schemes within the FSCD 2017-track
Share
x
Sat 1 Nov 23:37