J. appl. res. technol- PDF Download - Art. IDS1665-64232009000100002

Journal of applied research and technology
versão On-line ISSN 2448-6736versão impressa ISSN 1665-6423

PDF Download

Iniciando download de arquivo PDF em 10 segundos. Por favor Aguarde!

TORRES, D.; CORTEZ, J. e GONZALEZ, R. E.. Semi-formal specifications and formal verification improving the digital design: some statistics. J. appl. res. technol [online]. 2009, vol.7, n.1, pp.15-40. ISSN 2448-6736.

Todo o conteúdo deste periódico, exceto onde está identificado, está licenciado sob uma Licença Creative Commons