Tesis doctoral de Jordi Levy Diaz
Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification model based on inclusions«
- Título de la tesis: The calculus of refinements: a formal specification model based on inclusions
- Autor: Jordi Levy Diaz
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 03/05/1994
Dirección y tribunal
- Director de la tesis
- Jaume Agustí Cullell
- Tribunal
- Presidente del tribunal: fernando Orejas valdés
- mario Rodríguez artalejo (vocal)
- francesc Esteva messeguer (vocal)
- peter Mosses (vocal)