TY - THES A3 - Medina Bulo, María Inmaculada A3 - García-Domínguez, Antonio AU - Castro Cabrera, María Carmen A4 - Ingeniería Informática PY - 2024 UR - http://hdl.handle.net/10498/33488 AB - En la actualidad, el software forma parte del día a día de la gran mayoría de las personas. Los objetos cotidianos y las herramientas que utilizamos para trabajar, comunicarnos o simplemente realizar tareas cotidianas de forma más eficiente, dependen... LA - spa TI - Verificación y validación de composiciones de servicios web en ws-bpel con prueba metamórfica M3 - doctoral thesis ER -