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
Livre:
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.)

Éditorial: Mondragon Unibertsitatea

ISBN: 978-84-692-4600-9

Année de publication: 2009

Pages: 139-148

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

Type: Communication dans un congrès

DIALNET GOOGLE SCHOLAR
La source de données: Dialnet