Publications

AuthID
P-00T-EZC

Author(s)

Plotkin, GD

Bjørner, NS

Rybalchenko, A

Varghese, G

Document Type

Proceedings Paper

Year published

2016

Published

in POPL, ISSN: 15232867

Volume: 51, Issue: 1, Pages: 69-83 (14)

Indexing

Scopus^®

Google Scholar^®

Publication Identifiers

DOI: 10.1145/2837614.2837657

Dblp: conf/popl/PlotkinBLRV16

Scopus: 2-s2.0-84965082238

Source Identifiers

ISSN: 15232867

Export Publication Metadata

Marked List

Info

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

Useful Links