<https://dblp.org/rec/conf/isola/LuoS18> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://dblp.org/rdf/schema#Inproceedings> .
<https://dblp.org/rec/conf/isola/LuoS18> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://dblp.org/rdf/schema#Publication> .
<https://dblp.org/rec/conf/isola/LuoS18> <http://www.w3.org/2002/07/owl#sameAs> <https://doi.org/10.1007/978-3-030-03421-4_12> .
<https://dblp.org/rec/conf/isola/LuoS18> <http://www.w3.org/2002/07/owl#sameAs> <http://dx.doi.org/10.1007/978-3-030-03421-4_12> .
<https://dblp.org/rec/conf/isola/LuoS18> <http://www.w3.org/2000/01/rdf-schema#label> "Ziqing Luo and Stephen F. Siegel: Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges. (2018)" .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#doi> <https://doi.org/10.1007/978-3-030-03421-4_12> .
<https://dblp.org/rec/conf/isola/LuoS18> <http://purl.org/spar/datacite/hasIdentifier> _:ID_489b461cd5d958b32ed3ebd5d081dcf2 .
_:ID_489b461cd5d958b32ed3ebd5d081dcf2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/spar/datacite/ResourceIdentifier> .
_:ID_489b461cd5d958b32ed3ebd5d081dcf2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/spar/datacite/Identifier> .
_:ID_489b461cd5d958b32ed3ebd5d081dcf2 <http://purl.org/spar/datacite/usesIdentifierScheme> <http://purl.org/spar/datacite/dblp-record> .
_:ID_489b461cd5d958b32ed3ebd5d081dcf2 <http://purl.org/spar/literal/hasLiteralValue> "conf/isola/LuoS18" .
<https://dblp.org/rec/conf/isola/LuoS18> <http://purl.org/spar/datacite/hasIdentifier> _:ID_76fa7e91dd5c5d76a2b1d3ac44465a84 .
_:ID_76fa7e91dd5c5d76a2b1d3ac44465a84 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/spar/datacite/ResourceIdentifier> .
_:ID_76fa7e91dd5c5d76a2b1d3ac44465a84 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/spar/datacite/Identifier> .
_:ID_76fa7e91dd5c5d76a2b1d3ac44465a84 <http://purl.org/spar/datacite/usesIdentifierScheme> <http://purl.org/spar/datacite/doi> .
_:ID_76fa7e91dd5c5d76a2b1d3ac44465a84 <http://purl.org/spar/literal/hasLiteralValue> "10.1007/978-3-030-03421-4_12" .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#title> "Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges." .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#bibtexType> <http://purl.org/net/nknouf/ns/bibtex#Inproceedings> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/169/1781> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#createdBy> <https://dblp.org/pid/169/1781> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/50/540> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#createdBy> <https://dblp.org/pid/50/540> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#numberOfCreators> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#hasSignature> _:Sig_00951616bf16426fe6cdbbcfb9bec6ae_1 .
_:Sig_00951616bf16426fe6cdbbcfb9bec6ae_1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://dblp.org/rdf/schema#AuthorSignature> .
_:Sig_00951616bf16426fe6cdbbcfb9bec6ae_1 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://dblp.org/rdf/schema#Signature> .
_:Sig_00951616bf16426fe6cdbbcfb9bec6ae_1 <https://dblp.org/rdf/schema#signatureDblpName> "Ziqing Luo" .
_:Sig_00951616bf16426fe6cdbbcfb9bec6ae_1 <https://dblp.org/rdf/schema#signatureCreator> <https://dblp.org/pid/169/1781> .
_:Sig_00951616bf16426fe6cdbbcfb9bec6ae_1 <https://dblp.org/rdf/schema#signatureOrdinal> "1"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:Sig_00951616bf16426fe6cdbbcfb9bec6ae_1 <https://dblp.org/rdf/schema#signaturePublication> <https://dblp.org/rec/conf/isola/LuoS18> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#hasSignature> _:Sig_00951616bf16426fe6cdbbcfb9bec6ae_2 .
_:Sig_00951616bf16426fe6cdbbcfb9bec6ae_2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://dblp.org/rdf/schema#AuthorSignature> .
_:Sig_00951616bf16426fe6cdbbcfb9bec6ae_2 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://dblp.org/rdf/schema#Signature> .
_:Sig_00951616bf16426fe6cdbbcfb9bec6ae_2 <https://dblp.org/rdf/schema#signatureDblpName> "Stephen F. Siegel" .
_:Sig_00951616bf16426fe6cdbbcfb9bec6ae_2 <https://dblp.org/rdf/schema#signatureCreator> <https://dblp.org/pid/50/540> .
_:Sig_00951616bf16426fe6cdbbcfb9bec6ae_2 <https://dblp.org/rdf/schema#signatureOrdinal> "2"^^<http://www.w3.org/2001/XMLSchema#integer> .
_:Sig_00951616bf16426fe6cdbbcfb9bec6ae_2 <https://dblp.org/rdf/schema#signaturePublication> <https://dblp.org/rec/conf/isola/LuoS18> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#primaryDocumentPage> <https://doi.org/10.1007/978-3-030-03421-4_12> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#documentPage> <https://doi.org/10.1007/978-3-030-03421-4_12> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#listedOnTocPage> <https://dblp.org/db/conf/isola/isola2018-2> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#publishedInStream> <https://dblp.org/streams/conf/isola> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#pagination> "160-178" .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#publishedIn> "ISoLA (2)" .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#publishedInBook> "ISoLA (2)" .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#yearOfEvent> "2018"^^<http://www.w3.org/2001/XMLSchema#gYear> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#yearOfPublication> "2018"^^<http://www.w3.org/2001/XMLSchema#gYear> .
<https://dblp.org/rec/conf/isola/LuoS18> <https://dblp.org/rdf/schema#publishedAsPartOf> <https://dblp.org/rec/conf/isola/2018-2> .
<https://dblp.org/rec/conf/isola/LuoS18.nt> <http://www.w3.org/2000/01/rdf-schema#label> "provenance information for RDF data of dblp record 'conf/isola/LuoS18'" .
<https://dblp.org/rec/conf/isola/LuoS18.nt> <http://purl.org/dc/terms/creator> <https://dblp.org> .
<https://dblp.org/rec/conf/isola/LuoS18.nt> <http://purl.org/dc/terms/isPartOf> <https://dblp.org/rdf/dblp.nt> .
<https://dblp.org/rec/conf/isola/LuoS18.nt> <http://purl.org/dc/terms/license> <https://creativecommons.org/publicdomain/zero/1.0/> .
<https://dblp.org/rec/conf/isola/LuoS18.nt> <http://purl.org/dc/terms/modified> "2018-10-30T11:24:15+0100" .
  <script>parent.window.postMessage('ixistenz.url:https://dblp.org/rec/conf/isola/LuoS18.nt', '*'); </script> <div id='browserdiffcontainer' style='position: fixed; right: 10px; top: 10vh; min-width: 60px;  border: 1px solid white; background: rgb(251, 189, 0);; opacity: 0.9; font-family: helvetica, arial, sans serif;  font-size: 12px; z-index: 20001; padding-bottom: 20px;'><div onclick="toggle('browserdiffcontainerlist'); return false;" style='background: rgb(151, 89, 0);; color: white; '><strong>&nbsp; <span class='glyphicon glyphicon-minus'></span> NODES</strong></div><div id='browserdiffcontainerlist' style='padding-left: 10px; padding-right: 5px; max-height: 50vh; overflow: auto; '><div><a href='#diffid882' style='color: white;' onClick="parent.window.postMessage('ixistenz.opendiff:882', '*');; return false;" style='text-decoration: none; '>Verify </a> <a style='color: white;' href='#diffid882'><sup>2</sup></a></div></div></div>
<script>
function toggle( divname ) {
  var x = document.getElementById( divname );
  if (x.style.display === 'none') {
    x.style.display = 'block';
  } else {
    x.style.display = 'none';
  }
} </script>