Torres, D., J. Cortéz, and R.E. González. 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.