Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Junya Shijubo
conf.researchr.org general profile
FLOPS 2022 profile
Not registered as user
Name:
Junya Shijubo
Affiliation:
Kyoto University
Contributions
2022
FLOPS
Author of Efficient Black-Box Checking via Model Checking with Strengthened Specifications within the AiDL 2022-track
Share
x
Thu 19 Dec 02:19