COSTABS: A cost and termination analyzer for ABS
- Albert, E.
- Arenas, P.
- Genaim, S.
- Gómez-Zamalloa, M.
- Puebla, G.
ISSN: 0730-8566
ISBN: 9781450311182
Year of publication: 2012
Pages: 151-154
Type: Conference paper
ISSN: 0730-8566
ISBN: 9781450311182
Year of publication: 2012
Pages: 151-154
Type: Conference paper