Termination and Cost Analysis with COSTA and its User Interfaces.
Elvira AlbertPuri ArenasSamir GenaimMiguel Gómez-ZamalloaGerman PueblaDiana V. Ramírez-DeantesGuillermo Román-DíezDamiano ZanardiniPublished in: Electron. Notes Theor. Comput. Sci. (2009)