TY - BOOK ID - BVMC:1197198 A2 - Serna M. , Edgar TI - Métodos Formales, Ingeniería de Requisitos y Pruebas del Software CY - Alicante : Biblioteca Virtual Miguel de Cervantes, 2022 PY - 2022 UR - https://www.cervantesvirtual.com/nd/ark:/59851/bmc1197198 ER -