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