%0 Thesis %1 phd/us/Emre22 %A Emre, Mehmet %D 2022 %K dblp %T Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes

@phdthesis{phd/us/Emre22, added-at = {2023-04-12T00:00:00.000+0200}, author = {Emre, Mehmet}, biburl = {https://www.bibsonomy.org/bibtex/2a91f2a8a1e35f622143797bbce58e4e3/dblp}, ee = {https://www.escholarship.org/uc/item/2dk6c918}, interhash = {69456aed56d4f97f38c74ab365b3ded5}, intrahash = {a91f2a8a1e35f622143797bbce58e4e3}, keywords = {dblp}, school = {University of California, Santa Barbara, USA}, timestamp = {2024-04-09T08:03:46.000+0200}, title = {Translating C to Safe Rust: Reasoning about Pointer Types and Lifetimes}, year = 2022 }