Navegación

Búsqueda

Búsqueda avanzada

Sesión 05: Trabajos ya publicados (I)

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

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