VeriFly: On-the-fly Assertion Checking via Incrementality

  1. Sanchez-Ordaz, M.A.
  2. Garcia-Contreras, I.
  3. Perez, V.
  4. Morales, J.F.
  5. Lopez-Garcia, P.
  6. Hermenegildo, M.V.
Revista:
Theory and Practice of Logic Programming

ISSN: 1475-3081,  1471-0684

Ano de publicación: 2021

Volume: 21

Número: 6

Páxinas: 768-784

Tipo: Artigo

DOI: 10.1017/S1471068421000430 GOOGLE SCHOLAR
Fonte de datos: Scopus