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
Datum der Publikation: 2021
Ausgabe: 21
Nummer: 6
Seiten: 768-784
Art: Artikel