Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michalis Pardalos
conf.researchr.org general profile
PLDI 2024 profile
Registered user since Thu 11 Jan 2024
Name:
Michalis Pardalos
Contributions
2024
PLDI
Author of Who checks the checkers? Steps towards reliable equivalence checking within the SRC-track
Share
x
Wed 13 Nov 01:42