Diagrammatic logic applied to a parameterisation process
- Domínguez, C.
- Duval, D.
ISSN: 0960-1295
Any de publicació: 2010
Volum: 20
Número: 4
Pàgines: 639-654
Tipus: Article
Revista:
Mathematical Structures in Computer Science