Capítulos de Libro (3) Publicaciones en las que ha participado algún/a investigador/a

2023

  1. La huida de las mujeres de Afganistán tras el retorno del gobierno talibán: el género como factor de persecución y el derecho de asilo en España

    Secularización, cooperación y derecho: Estudios en homenaje a la profesora Dra. Dª Ana Fernández-Coronado González (Ministerio de la Presidencia, Relaciones con las Cortes y Memoria Democrática), pp. 377-391

  2. SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 188-205

  3. Strategies in Conditional Narrowing Modulo SMT Plus Axioms

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 1-20