Publicações

Towards a Mostly-Automated Prover for Bit-Vector Arithmetic

AuthID
P-008-D57

Author(s)

Abal, I

Pinto, JS

Editor(es)

Bipin C. Desai; Ana Maria de Almeida; Jorge Bernardino; Sudhir P. Mudur

Tipo de Documento

Proceedings Paper

Year published

2013

Publicado

in ACM International Conference Proceeding Series in C3S2E

Páginas: 132-133

Conference

6Th International C* Conference on Computer Science and Software Engineering, C3S2E 2013, Date: 10 July 2013 through 12 July 2013, Location: Porto, Patrocinadores: Concordia University;Instituto Superior de Engenharia do Porto (ISEP)

Indexing

Scopus^®

Dblp^®/pt/publications/view/275623

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/2494444.2494445

DBLP: conf/c3s2e/AbalP13

SCOPUS: 2-s2.0-84882798268

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Towards a Mostly-Automated Prover for Bit-Vector Arithmetic

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Towards a Mostly-Automated Prover for Bit-Vector Arithmetic

Links Úteis

Ajuda