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). doi: 10.22201/icat.16656423.2009.7.01.498.