Termination and cost analysis with COSTA and its user interfaces

• Autores: Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini, Diana Vanessa Ramírez Deantes, Miguel Gómez-Zamalloa Gil, Guillermo Román Díez
• Localización: 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 / Paqui Lucio (ed. lit.), Ginés Damián Moreno Valverde (ed. lit.), Ricardo Peña Marí (ed. lit.), 2009, ISBN 978-84-692-4600-9, págs. 139-148
• Idioma: inglés
• Texto completo no disponible (Saber más ...)