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
Año de publicación: 2021
Proceedings - 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2021
Volumen: 344
Páginas: 22-35
Tipo: Aportación congreso