BibTeX record journals/corr/abs-1901-05750

download as .bib file

@article{DBLP:journals/corr/abs-1901-05750,
  author    = {Emanuele D'Osualdo and
               Azadeh Farzan and
               Philippa Gardner and
               Julian Sutherland},
  title     = {TaDA Live: Compositional Reasoning for Termination of Fine-grained
               Concurrent Programs},
  journal   = {CoRR},
  volume    = {abs/1901.05750},
  year      = {2019}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics