Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lidiia Chernigovskaia
conf.researchr.org general profile
POPL 2023 profile
Registered user since Sun 20 Jun 2021
Name:
Lidiia Chernigovskaia
Contributions
2023
VMCAI
Author of Solving Constrained Horn Clauses over Algebraic Data Types within the VMCAI 2023-track
Share
x
Mon 2 Dec 08:55