Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales 0001, Pedro López-García 0001, Manuel V. Hermenegildo. VeriFly: On-the-fly Assertion Checking via Incrementality. TPLP, 21(6):768-784, 2021. [doi]
@article{Sanchez-OrdazGP21,
title = {VeriFly: On-the-fly Assertion Checking via Incrementality},
author = {Miguel A. Sanchez-Ordaz and Isabel Garcia-Contreras and Victor Perez-Carrasco and José F. Morales 0001 and Pedro López-García 0001 and Manuel V. Hermenegildo},
year = {2021},
doi = {10.1017/S1471068421000430},
url = {https://doi.org/10.1017/S1471068421000430},
researchr = {https://researchr.org/publication/Sanchez-OrdazGP21},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {21},
number = {6},
pages = {768-784},
}