BibTeX record conf/icse/0001MP20

download as .bib file

@inproceedings{DBLP:conf/icse/0001MP20,
  author    = {Yan Cai and
               Ruijie Meng and
               Jens Palsberg},
  title     = {Low-overhead deadlock prediction},
  booktitle = {{ICSE}},
  pages     = {1298--1309},
  publisher = {{ACM}},
  year      = {2020}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics