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

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]

Abstract is missing.

runs on WebDSL