@InProceedings{SummersMueller18,
  author       = {A. J. Summers and P. M\"uller},
  title        = {Automating Deductive Verification for Weak-Memory Programs},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  year         = {2018},
  series       = {LNCS},
  publisher    = {Springer-Verlag},
  pages        = {190--209},
  url          = {https://doi.org/10.1007/978-3-319-89960-2_11},
  urltext      = {[Publisher]}
}