Preface to rewriting logic and its applications (extended selected papers from WRLA 2012)
- Durán, F.
- Martí-Oliet, N.
Revista:
Science of Computer Programming
ISSN: 0167-6423
Año de publicación: 2015
Volumen: 99
Páginas: 1-2
Tipo: Editorial