Publicaciones en colaboración con investigadores/as de Swansea University (3)

2018

  1. Context-updates analysis and refinement in chisel

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. 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

  1. 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)