Publicações

Synthesizing Software Verifiers from Proof Rules

AuthID
P-00F-Z9A

Author(s)

Grebenshchikov, S

Lopes, NP

Popeea, C

Rybalchenko, A

Editor(s)

Vitek,J;Lin,H;Tip,F

Document Type

Proceedings Paper

Year published

2012

Published

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

Pages: 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, Sponsors: ACM SIGPLAN

Indexing

Scopus^®

Dblp^®/pt/publications/view/523562

Crossref^®

Google Scholar^®

Metadata
Sources

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

Useful Links

Get Help

Autenticação Federada (Click on the image)

Synthesizing Software Verifiers from Proof Rules

Useful Links

Get Help