BibTeX record conf/icse/MaozRS19

• > Home > conf/icse/MaozRS19

@inproceedings{DBLP:conf/icse/MaozRS19,
  author       = {Shahar Maoz and
                  Jan Oliver Ringert and
                  Rafi Shalom},
  editor       = {Joanne M. Atlee and
                  Tevfik Bultan and
                  Jon Whittle},
  title        = {Symbolic repairs for {GR(1)} specifications},
  booktitle    = {Proceedings of the 41st International Conference on Software Engineering,
                  {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
  pages        = {1016--1026},
  publisher    = {{IEEE} / {ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICSE.2019.00106},
  doi          = {10.1109/ICSE.2019.00106},
  timestamp    = {Sun, 06 Oct 2024 21:06:39 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/MaozRS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}