BibTeX record conf/icse/BridaRZBNAF21

download as .bib file

@inproceedings{DBLP:conf/icse/BridaRZBNAF21,
  author    = {Sim{\'{o}}n Guti{\'{e}}rrez Brida and
               Germ{\'{a}}n Regis and
               Guolong Zheng and
               Hamid Bagheri and
               ThanhVu Nguyen and
               Nazareno Aguirre and
               Marcelo F. Frias},
  title     = {Bounded Exhaustive Search of Alloy Specification Repairs},
  booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2021, Madrid, Spain, 22-30 May 2021},
  pages     = {1135--1147},
  publisher = {{IEEE}},
  year      = {2021},
  url       = {https://doi.org/10.1109/ICSE43902.2021.00105},
  doi       = {10.1109/ICSE43902.2021.00105},
  timestamp = {Mon, 03 Jan 2022 22:28:01 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/BridaRZBNAF21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics