https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/09/2281 +
, https://dblp.org/pid/h/JohnHughes +
, https://dblp.org/pid/p/BenjaminCPierce +
, https://dblp.org/pid/134/9084 +
, https://dblp.org/pid/00/6362 +
, https://dblp.org/pid/134/9064 +
, https://dblp.org/pid/120/7696 +
|
https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
|
https://dblp.org/rdf/schema#createdBy
|
https://dblp.org/pid/09/2281 +
, https://dblp.org/pid/h/JohnHughes +
, https://dblp.org/pid/p/BenjaminCPierce +
, https://dblp.org/pid/134/9084 +
, https://dblp.org/pid/00/6362 +
, https://dblp.org/pid/134/9064 +
, https://dblp.org/pid/120/7696 +
|
https://dblp.org/rdf/schema#documentPage
|
https://doi.org/10.1145/2500365.2500574 +
, https://doi.org/10.1145/2544174.2500574 +
|
https://dblp.org/rdf/schema#doi
|
https://doi.org/10.1145/2500365.2500574 +
, https://doi.org/10.1145/2544174.2500574 +
|
https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/conf/icfp/icfp2013 +
|
https://dblp.org/rdf/schema#numberOfCreators
|
7
|
https://dblp.org/rdf/schema#pagination
|
455-468
|
https://dblp.org/rdf/schema#primaryDocumentPage
|
https://doi.org/10.1145/2500365.2500574 +
|
https://dblp.org/rdf/schema#publishedAsPartOf
|
https://dblp.org/rec/conf/icfp/2013 +
|
https://dblp.org/rdf/schema#publishedIn
|
ICFP
|
https://dblp.org/rdf/schema#publishedInBook
|
ICFP
|
https://dblp.org/rdf/schema#publishedInStream
|
https://dblp.org/streams/conf/icfp +
|
https://dblp.org/rdf/schema#title
|
Testing noninterference, quickly.
|
https://dblp.org/rdf/schema#yearOfEvent
|
2013
|
https://dblp.org/rdf/schema#yearOfPublication
|
2013
|
owl:sameAs |
https://doi.org/10.1145/2500365.2500574 +
, http://dx.doi.org/10.1145/2500365.2500574 +
, https://doi.org/10.1145/2544174.2500574 +
, http://dx.doi.org/10.1145/2544174.2500574 +
|
rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Inproceedings +
|
rdfs:label |
Catalin Hritcu et al.: Testing noninterference, quickly. (2013)
|