| https://dblp.org/rdf/schema#authoredBy
|
https://dblp.org/pid/142/1135-2 +
, https://dblp.org/pid/273/6148 +
, https://dblp.org/pid/312/6498 +
, https://dblp.org/pid/120/7696 +
, https://dblp.org/pid/77/2466 +
, https://dblp.org/pid/h/MichaelWHicks +
|
| https://dblp.org/rdf/schema#bibtexType
|
http://purl.org/net/nknouf/ns/bibtex#Article +
|
| https://dblp.org/rdf/schema#createdBy
|
https://dblp.org/pid/142/1135-2 +
, https://dblp.org/pid/273/6148 +
, https://dblp.org/pid/312/6498 +
, https://dblp.org/pid/120/7696 +
, https://dblp.org/pid/77/2466 +
, https://dblp.org/pid/h/MichaelWHicks +
|
| https://dblp.org/rdf/schema#documentPage
|
https://arxiv.org/abs/2201.13394 +
|
| https://dblp.org/rdf/schema#listedOnTocPage
|
https://dblp.org/db/journals/corr/corr2201 +
|
| https://dblp.org/rdf/schema#numberOfCreators
|
6
|
| https://dblp.org/rdf/schema#primaryDocumentPage
|
https://arxiv.org/abs/2201.13394 +
|
| https://dblp.org/rdf/schema#publishedIn
|
CoRR
|
| https://dblp.org/rdf/schema#publishedInJournal
|
CoRR
|
| https://dblp.org/rdf/schema#publishedInJournalVolume
|
abs/2201.13394
|
| https://dblp.org/rdf/schema#publishedInStream
|
https://dblp.org/streams/journals/corr +
|
| https://dblp.org/rdf/schema#title
|
A Formal Model of Checked C.
|
| https://dblp.org/rdf/schema#yearOfPublication
|
2022
|
| rdf:type |
https://dblp.org/rdf/schema#Publication +
, https://dblp.org/rdf/schema#Informal +
|
| rdfs:label |
Liyi Li et al.: A Formal Model of Checked C. (2022)
|
