Percorrer por assunto Bit-vectors
Mostrar 1-1 de um total de 1 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 |