Sesión 05: Trabajos ya publicados (I)

Listado de artículos correspondientes a la sesión Trabajos ya publicados (I)

1. Automatic Grading of Programming Exercises using Property-Based Testing
   Clara Benac Earle  / Lars-Ake Fredlund / John Hughes / 
2. River basin management with SPIN
   María del Mar Gallardo  / Pedro Merino  / Laura Panizo  /  Alberto Salmerón / 
3. Abstract analysis of universal properties for tccp
   Marco Comini /  María del Mar Gallardo  /  Laura Titolo / Alicia Villanueva / 
4. Proving termination properties of conditional rewrite systems
   Salvador Lucas / José Meseguer /