| |
| 1994 | ||
|---|---|---|
| 1 | B. Grima, José Ambrosio Toval Álvarez: Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos. GULP-PRODE (2) 1994: 176-190 | |
| 1 | José Ambrosio Toval Álvarez | [1] |