BibTeX record conf/kbse/WangSK18

download as .bib file

@inproceedings{DBLP:conf/kbse/WangSK18,
  author    = {Kaiyuan Wang and
               Allison Sullivan and
               Sarfraz Khurshid},
  editor    = {Marianne Huchard and
               Christian K{\"{a}}stner and
               Gordon Fraser},
  title     = {Automated model repair for Alloy},
  booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
               Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
               2018},
  pages     = {577--588},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3238147.3238162},
  doi       = {10.1145/3238147.3238162},
  timestamp = {Wed, 21 Nov 2018 12:44:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/WangSK18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier