TORRES, D.; CORTÉZ, J.; GONZÁLEZ, R. Semi?formal specifications and formal verification improving the digital design: some statistics. Journal of Applied Research and Technology, [S. l.], v. 7, n. 01, 2009. DOI: 10.22201/icat.16656423.2009.7.01.498. Disponível em: https://jart.icat.unam.mx/index.php/jart/article/view/498. Acesso em: 25 apr. 2024.