Thèse de doctorat

  1. Técnicas de reescritura para especificaciones condicionales 1987

    Universitat Politècnica de Catalunya (UPC)

Thèses dirigées (1)

  1. Implementación de especificaciones algebraicas 1993

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Sánchez, Ana

Jurys de thèses (3)

  1. Un/e secrètaire du jury

    Learnability of some classes within the exact model 2002

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Lavín Puente, Víctor

  2. Rapporteur du jury

    Reescritura con restricciones de reemplazamiento 1998

    Universitat Politècnica de València

    Lucas Alba, Salvador

  3. Rapporteur du jury

    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.