Equational abstractions
- Meseguer, J.
- Palomino, M.
- Martí-Oliet, N.
ISSN: 0304-3975
Any de publicació: 2008
Volum: 403
Número: 2-3
Pàgines: 239-264
Tipus: Article
ISSN: 0304-3975
Any de publicació: 2008
Volum: 403
Número: 2-3
Pàgines: 239-264
Tipus: Article