ELVIRA MARÍA
ALBERT ALBIOL
Catedrática de universidad
Guillermo
Román Díez
Publicaciones en las que colabora con Guillermo Román Díez (1)
2009
-
Termination and cost analysis with COSTA and its user interfaces
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