Regular path clauses and their application in solving loops
- Kafle, B.
- Gallagher, J.P.
- Hermenegildo, M.V.
- Klemen, M.
- López-García, P.
- Morales, J.F.
ISSN: 2075-2180
Any de publicació: 2021
Proceedings - 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2021
Volum: 344
Pàgines: 22-35
Tipus: Aportació congrés