Equational abstractions
- Meseguer, J.
- Palomino, M.
- Martí-Oliet, N.
ISSN: 0304-3975
Año de publicación: 2008
Volumen: 403
Número: 2-3
Páginas: 239-264
Tipo: Artículo
ISSN: 0304-3975
Año de publicación: 2008
Volumen: 403
Número: 2-3
Páginas: 239-264
Tipo: Artículo