Termination and cost analysis with COSTA and its user interfaces

  1. Albert, Elvira
  2. Arenas, Puri
  3. Genaim, Samir
  4. Puebla, Germán
  5. Zanardini, Damiano
  6. Ramírez Deantes, Diana Vanessa
  7. Gómez-Zamalloa Gil, Miguel
  8. Román Díez, Guillermo
Llibre:
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
  1. Lucio, Paqui (ed. lit.)
  2. Moreno Valverde, Ginés Damián (ed. lit.)
  3. Peña Marí, Ricardo (ed. lit.)

Editorial: Mondragon Unibertsitatea

ISBN: 978-84-692-4600-9

Any de publicació: 2009

Pàgines: 139-148

Congrés: Jornadas sobre Programación y Lenguajes (9. 2009. San Sebastián)

Tipus: Aportació congrés

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet