Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Charlesowityear Ly
conf.researchr.org general profile
FSEN 2025 profile
Not registered as user
Name:
Charlesowityear Ly
Affiliation:
University of Massachusetts Lowell
Contributions
2025
FSEN
Author of A Debugging System for Language-parameterized Proofs within the Marjan Festschrift-track
Share
x
Mon 27 Oct 11:11