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