Conditional termination of loops over heap-allocated data
- Albert, E.
- Arenas, P.
- Genaim, S.
- Puebla, G.
- Román-Díez, G.
ISSN: 0167-6423
Año de publicación: 2014
Volumen: 92
Número: PART A
Páginas: 2-24
Tipo: Artículo
ISSN: 0167-6423
Año de publicación: 2014
Volumen: 92
Número: PART A
Páginas: 2-24
Tipo: Artículo