@Book{BVMC:1197198, title = {Métodos Formales, Ingeniería de Requisitos y Pruebas del Software}, publisher = {Alicante : Biblioteca Virtual Miguel de Cervantes, 2022}, year = {2022}, url = {https://www.cervantesvirtual.com/nd/ark:/59851/bmc1197198} }