https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/123/7851 +
, https://dblp.org/pid/65/5138 +
, https://dblp.org/pid/278/2343 +
, https://dblp.org/pid/86/2578 +
, https://dblp.org/pid/167/6624 +
, https://dblp.org/pid/44/3532 +
|
https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Article +
|
https://dblp.org/rdf/schema#createdBy
|
https://dblp.org/pid/123/7851 +
, https://dblp.org/pid/65/5138 +
, https://dblp.org/pid/278/2343 +
, https://dblp.org/pid/86/2578 +
, https://dblp.org/pid/167/6624 +
, https://dblp.org/pid/44/3532 +
|
https://dblp.org/rdf/schema#documentPage
|
https://arxiv.org/abs/2107.00723 +
|
https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/journals/corr/corr2107 +
|
https://dblp.org/rdf/schema#numberOfCreators
|
6
|
https://dblp.org/rdf/schema#primaryDocumentPage
|
https://arxiv.org/abs/2107.00723 +
|
https://dblp.org/rdf/schema#publishedIn
|
CoRR
|
https://dblp.org/rdf/schema#publishedInJournal
|
CoRR
|
https://dblp.org/rdf/schema#publishedInJournalVolume
|
abs/2107.00723
|
https://dblp.org/rdf/schema#publishedInStream
|
https://dblp.org/streams/journals/corr +
|
https://dblp.org/rdf/schema#title
|
Verifying Verified Code.
|
https://dblp.org/rdf/schema#yearOfPublication
|
2021
|
rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Informal +
|
rdfs:label |
Siddharth Priya et al.: Verifying Verified Code. (2021)
|