Mostrar 1-3 de um total de 3 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2013 | Towards a mostly-automated prover for bit-vector arithmetic | Abal, Iago; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso restrito UMinho |
2012 | Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation) | Abal, Iago; Cunha, Alcino; Hurd, Joe, et al. | Resumo em ata de conferência | Acesso aberto |
2012 | Using term rewriting to solve Bit-vector arithmetic problems (Poster Presentation) | Abal, Iago; Cunha, Alcino; Hurd, Joe, et al. | Artigo em ata de conferência | Acesso aberto |