Thesis

  1. Técnicas de reescritura para especificaciones condicionales 1987

    Universitat Politècnica de Catalunya (UPC)

Supervised Theses (1)

  1. Implementación de especificaciones algebraicas 1993

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Sánchez, Ana

Theses Committees (3)

  1. Secretary of the Committee

    Learnability of some classes within the exact model 2002

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Lavín Puente, Víctor

  2. Committee Member

    Reescritura con restricciones de reemplazamiento 1998

    Universitat Politècnica de València

    Lucas Alba, Salvador

  3. Committee Member

    Técnicas formales para el desarrollo jerárquico de sistemas concurrentes 1993

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Alonso González, Luis M.