Publications

AuthID
P-00T-EZ8

Author(s)

Sinha, R

Costa, M

Lal, A

Rajamani, SK

Seshia, SA

Vaswani, K

Document Type

Proceedings Paper

Year published

2016

Published

in PLDI, ISSN: 0362-1340

Volume: 51, Issue: 6, Pages: 665-681

Indexing

Crossref^®6

Google Scholar^®

Publication Identifiers

DOI: 10.1145/2980983.2908113

Dblp: conf/pldi/0001CLLRSV16

Source Identifiers

ISSN: 0362-1340

Export Publication Metadata

Marked List

Info

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

Useful Links