State of the Art in the Research of Formal Verification
Estado del arte de la investigación en verificación formal
Edgar Serna M.David Morales V.
DOI: https://doi.org/10.1016/S1405-7743(14)70659-6