Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kazuki Matsuoka
conf.researchr.org general profile
APLAS 2023 profile
Registered user since Wed 18 Oct 2023
Name:
Kazuki Matsuoka
Country:
Japan
Affiliation:
Tokyo Institute of Technology
Contributions
2023
APLAS
Author of [SRC] Relational Hoare Logic for Comparing Nondeterministic Programs and Probabilistic Programs through a Categorical Framework within the SRC & Posters-track
Share
x
Thu 2 May 08:33