Departamento
Sistemas Informáticos y Computación
Capítulos de Libro (3) Publicaciones en las que ha participado algún/a investigador/a
2023
-
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
-
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
-
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