| https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/80/3503 +
, https://dblp.org/pid/121/1113 +
, https://dblp.org/pid/f/CedricFournet +
, https://dblp.org/pid/187/9761 +
, https://dblp.org/pid/40/3912 +
, https://dblp.org/pid/131/6696 +
, https://dblp.org/pid/219/9026 +
, https://dblp.org/pid/81/10809 +
, https://dblp.org/pid/147/4419 +
, https://dblp.org/pid/11/5568 +
, https://dblp.org/pid/70/2200 +
|
| https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
|
| https://dblp.org/rdf/schema#createdBy
|
https://dblp.org/pid/80/3503 +
, https://dblp.org/pid/121/1113 +
, https://dblp.org/pid/f/CedricFournet +
, https://dblp.org/pid/187/9761 +
, https://dblp.org/pid/40/3912 +
, https://dblp.org/pid/131/6696 +
, https://dblp.org/pid/219/9026 +
, https://dblp.org/pid/81/10809 +
, https://dblp.org/pid/147/4419 +
, https://dblp.org/pid/11/5568 +
, https://dblp.org/pid/70/2200 +
|
| https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1145/2993600.2993611 +
|
| https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1145/2993600.2993611 +
|
| https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/conf/ccs/plas2016 +
|
| https://dblp.org/rdf/schema#numberOfCreators
|
11
|
| https://dblp.org/rdf/schema#pagination
|
91-96
|
| https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1145/2993600.2993611 +
|
| https://dblp.org/rdf/schema#publishedAsPartOf
|
https://dblp.org/rec/conf/ccs/2016plas +
|
| https://dblp.org/rdf/schema#publishedIn
|
PLAS@CCS
|
| https://dblp.org/rdf/schema#publishedInBook
|
PLAS@CCS
|
| https://dblp.org/rdf/schema#publishedInStream
|
https://dblp.org/streams/conf/plas-ws +
, https://dblp.org/streams/conf/ccs +
|
| https://dblp.org/rdf/schema#title
|
Formal Verification of Smart Contracts: Short Paper.
|
| https://dblp.org/rdf/schema#yearOfEvent
|
2016
|
| https://dblp.org/rdf/schema#yearOfPublication
|
2016
|
| owl:sameAs |
https://doi.org/10.1145/2993600.2993611 +
, http://dx.doi.org/10.1145/2993600.2993611 +
|
| rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Inproceedings +
|
| rdfs:label |
Karthikeyan Bhargavan et al.: Formal Verification of Smart Contracts: Short Paper. (2016)
|
