![[RDF data]](https://dblp.l3s.de/d2r/snorql/rdf_flyer.24.gif)
| Property | Value |
|---|---|
| dcterms:bibliographicCitation | <http://dblp.uni-trier.de/rec/bibtex/phd/hal/Mevel22> |
| dc:creator | <https://dblp.l3s.de/d2r/resource/authors/Glen_M%E2%88%9A%C2%A9vel> |
| foaf:homepage | <https://tel.archives-ouvertes.fr/tel-04356627> |
| dc:identifier | DBLP phd/hal/Mevel22 (xsd:string) |
| dcterms:issued | 2022 (xsd:gYear) |
| rdfs:label | A mechanized program logic for concurrent programs with the weak memory model of Multicore OCaml. (Une logique de programme mécanisée pour les programmes concurrents dans le modèle mémoire faible de Multicore OCaml). (xsd:string) |
| foaf:maker | <https://dblp.l3s.de/d2r/resource/authors/Glen_M%E2%88%9A%C2%A9vel> |
| dc:publisher | Paris Cité University, France (xsd:string) |
| owl:sameAs | <http://bibsonomy.org/uri/bibtexkey/phd/hal/Mevel22/dblp> |
| owl:sameAs | <http://dblp.rkbexplorer.com/id/phd/hal/Mevel22> |
| rdfs:seeAlso | <https://tel.archives-ouvertes.fr/tel-04356627> |
| dc:title | A mechanized program logic for concurrent programs with the weak memory model of Multicore OCaml. (Une logique de programme mécanisée pour les programmes concurrents dans le modèle mémoire faible de Multicore OCaml). (xsd:string) |
| dc:type | <http://purl.org/dc/dcmitype/Text> |
| rdf:type | swrc:PhDThesis |
| rdf:type | foaf:Document |