Diagrammatic logic applied to a parameterisation process
- Domínguez, C.
- Duval, D.
ISSN: 0960-1295
Année de publication: 2010
Volumen: 20
Número: 4
Pages: 639-654
Type: Article
Revue:
Mathematical Structures in Computer Science