Property | Value |
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/cpp/2023>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Brigitte_Pientka>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Dmitriy_Traytel>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Robbert_Krebbers>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Steve_Zdancewic>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Brigitte_Pientka>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Dmitriy_Traytel>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Robbert_Krebbers>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Steve_Zdancewic>
|
foaf:homepage
|
<http://dx.doi.org/doi.org%2F10.1145%2F3573105>
|
foaf:homepage
|
<https://doi.org/10.1145/3573105>
|
dc:identifier
|
DBLP conf/cpp/2023
(xsd:string)
|
dc:identifier
|
DOI doi.org%2F10.1145%2F3573105
(xsd:string)
|
dcterms:issued
|
2023
(xsd:gYear)
|
rdfs:label
|
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023
(xsd:string)
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/0002JS23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/AffeldtCS23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/AllamigeonCS23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/ArasuRRSFHPR23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/BaanenBCD23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/Blazy23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/Blot0CPKMV23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/BordgM23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/Clune23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/DaggittAKKA23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/DoornMN23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/Farber23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/FereeG23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/GregoireLT23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/HerklotzDB23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/Kaliszyk23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/KohlM23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/KosaianTP23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/Koutsoukou-Argyraki23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/LamiauxLM23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/LimpergF23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/Mehta23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/NiDFRS23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/NielsenAS23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/PetersonCCISDAF23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/WebbHU23>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/cpp/YingD23>
|
dc:publisher
|
ACM
(xsd:string)
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/cpp/2023/dblp>
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/cpp/2023>
|
rdfs:seeAlso
|
<https://doi.org/10.1145/3573105>
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/cpp>
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/cpp/cpp2023.html>
|
dc:title
|
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023
(xsd:string)
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
rdf:type
|
swrc:Proceedings
|
rdf:type
|
foaf:Document
|