Termination and Cost Analysis with COSTA and its User Interfaces - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Elvira Albert, Puri Arenas, Samir Genaim, Miguel GÃ³mez-Zamalloa, German Puebla, D. RamÃrez, G. RomÃ¡n, Damiano Zanardini. Termination and Cost Analysis with COSTA and its User Interfaces. Electronic Notes in Theoretical Computer Science, 258(1):109-121, 2009. [doi]

This author has not been identified. Look up 'Elvira Albert' in GoogleThis author has not been identified. Look up 'Puri Arenas' in GoogleThis author has not been identified. It may be one of the following persons:

Samir Genaim

Look up 'Samir Genaim' in GoogleThis author has not been identified. Look up 'Miguel GÃ³mez-Zamalloa' in GoogleThis author has not been identified. Look up 'German Puebla' in GoogleThis author has not been identified. Look up 'D. RamÃrez' in GoogleThis author has not been identified. Look up 'G. RomÃ¡n' in GoogleThis author has not been identified. Look up 'Damiano Zanardini' in Google

runs on WebDSL