BibTeX record conf/icse/WangSK19

download as .bib file

@inproceedings{DBLP:conf/icse/WangSK19,
  author       = {Kaiyuan Wang and
                  Allison Sullivan and
                  Sarfraz Khurshid},
  editor       = {Joanne M. Atlee and
                  Tevfik Bultan and
                  Jon Whittle},
  title        = {ARepair: a repair framework for alloy},
  booktitle    = {Proceedings of the 41st International Conference on Software Engineering:
                  Companion Proceedings, {ICSE} 2019, Montreal, QC, Canada, May 25-31,
                  2019},
  pages        = {103--106},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICSE-Companion.2019.00049},
  doi          = {10.1109/ICSE-COMPANION.2019.00049},
  timestamp    = {Tue, 24 May 2022 15:28:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/WangSK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics