I agree that this site is using cookies. You can find further informations here.
X
Chernigovskaia, Lidiia
1  results:
Search for persons X
?
1

Solving Constrained Horn Clauses over Algebraic Data Types:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Zavalía, Lucas ; Chernigovskaia, Lidiia ; Fedyukovich, Grigory - p. 341-365 , 2023
Link: https://doi.org/10.1007/..
 
1-1