ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
![Foto de ADRIÁN](/img/nophoto.png)
![Foto de Swansea University](/img/noimage_org.png)
Swansea University
Swansea, Reino UnidoPublicaciones en colaboración con investigadores/as de Swansea University (3)
2018
-
Context-updates analysis and refinement in chisel
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Slicing from formal semantics: Chisel—a tool for generic program slicing
International Journal on Software Tools for Technology Transfer, Vol. 20, Núm. 6, pp. 739-769
2015
-
Memory policy analysis for semantics specifications in maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)