[1]
D. Torres, J. Cortéz, and R. González, “Semi?formal specifications and formal verification improving the digital design: some statistics”, JART, vol. 7, no. 01, Apr. 2009.