Diagrammatic logic applied to a parameterisation process
- Domínguez, C.
- Duval, D.
ISSN: 0960-1295
Año de publicación: 2010
Volumen: 20
Número: 4
Páginas: 639-654
Tipo: Artículo
Revista:
Mathematical Structures in Computer Science