BibTeX record conf/sigsoft/RegisCBPRPAGF17

download as .bib file

@inproceedings{DBLP:conf/sigsoft/RegisCBPRPAGF17,
  author       = {Germ{\'{a}}n Regis and
                  C{\'{e}}sar Cornejo and
                  Sim{\'{o}}n Guti{\'{e}}rrez Brida and
                  Mariano Politano and
                  Fernando D. Raverta and
                  Pablo Ponzio and
                  Nazareno Aguirre and
                  Juan Pablo Galeotti and
                  Marcelo F. Frias},
  editor       = {Eric Bodden and
                  Wilhelm Sch{\"{a}}fer and
                  Arie van Deursen and
                  Andrea Zisman},
  title        = {DynAlloy analyzer: a tool for the specification and analysis of alloy
                  models with dynamic behaviour},
  booktitle    = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
                  Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages        = {969--973},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3106237.3122826},
  doi          = {10.1145/3106237.3122826},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/RegisCBPRPAGF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics