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.
Journal:
Theory and Practice of Logic Programming

ISSN: 1475-3081,  1471-0684

Year of publication: 2021

Volume: 21

Issue: 6

Pages: 768-784

Type: Article

DOI: 10.1017/S1471068421000430 GOOGLE SCHOLAR
Data source: Scopus