Torres, D., Cortéz, J. and González, R. 2009. Semi?formal specifications and formal verification improving the digital design: some statistics. Journal of Applied Research and Technology. 7, 01 (Apr. 2009). DOI:https://doi.org/10.22201/icat.16656423.2009.7.01.498.