VeriFly: On-the-fly Assertion Checking via Incrementality
- Sanchez-Ordaz, M.A.
- Garcia-Contreras, I.
- Perez, V.
- Morales, J.F.
- Lopez-Garcia, P.
- Hermenegildo, M.V.
ISSN: 1475-3081, 1471-0684
Any de publicació: 2021
Volum: 21
Número: 6
Pàgines: 768-784
Tipus: Article