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
Argitalpen urtea: 2021
Alea: 21
Zenbakia: 6
Orrialdeak: 768-784
Mota: Artikulua