Publicações

Synthesizing Software Verifiers from Proof Rules

AuthID
P-00F-Z9A

Author(s)

Grebenshchikov, S

Lopes, NP

Popeea, C

Rybalchenko, A

Editor(es)

Vitek,J;Lin,H;Tip,F

Tipo de Documento

Proceedings Paper

Year published

2012

Publicado

in ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012 in PLDI

Páginas: 405-416

Conference

33Rd Acm Sigplan Conference on Programming Language Design and Implementation, Pldi'12, Date: 11 June 2012 through 16 June 2012, Location: Beijing, Patrocinadores: ACM SIGPLAN

Indexing

Scopus^®

Dblp^®/pt/publications/view/523562

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/2254064.2254112

DBLP: conf/pldi/GrebenshchikovLPR12

SCOPUS: 2-s2.0-84863494447

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Synthesizing Software Verifiers from Proof Rules

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Synthesizing Software Verifiers from Proof Rules

Links Úteis

Ajuda