Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yahui Song
conf.researchr.org general profile
APLAS 2023 profile
ICFP/SPLASH 2025 profile
Registered user since Tue 21 Aug 2018
Name:
Yahui Song
Contributions
2023
APLAS
Author of Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection within the APLAS 2023-track
Share
x
Sun 26 Oct 14:11
