BibTeX record conf/pldi/SammlerLKMD021

download as .bib file

@inproceedings{DBLP:conf/pldi/SammlerLKMD021,
  author    = {Michael Sammler and
               Rodolphe Lepigre and
               Robbert Krebbers and
               Kayvan Memarian and
               Derek Dreyer and
               Deepak Garg},
  title     = {RefinedC: automating the foundational verification of {C} code with
               refined ownership types},
  booktitle = {{PLDI}},
  pages     = {158--174},
  publisher = {{ACM}},
  year      = {2021}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics