Search dblp for Publications

export results for "toc:db/journals/scp/scp220.bht:"

> Home > Search

download as .bib file

@article{DBLP:journals/scp/CarvalhoS22,
  author       = {Gustavo Carvalho and
                  Volker Stolz},
  title        = {Preface - Selected papers from the 23rd Brazilian Symposium on Formal
                  Methods - {SBMF} 2020},
  journal      = {Sci. Comput. Program.},
  volume       = {220},
  pages        = {102830},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102830},
  doi          = {10.1016/J.SCICO.2022.102830},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CarvalhoS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LiuMC22,
  author       = {Chong Liu and
                  Nuno Macedo and
                  Alcino Cunha},
  title        = {Merging cloned Alloy models with colorful refactorings},
  journal      = {Sci. Comput. Program.},
  volume       = {220},
  pages        = {102829},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102829},
  doi          = {10.1016/J.SCICO.2022.102829},
  timestamp    = {Tue, 25 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LiuMC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/NavarroO22,
  author       = {Marcelo Navarro and
                  Federico Olmedo},
  title        = {Slicing of probabilistic programs based on specifications},
  journal      = {Sci. Comput. Program.},
  volume       = {220},
  pages        = {102822},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.scico.2022.102822},
  doi          = {10.1016/J.SCICO.2022.102822},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/NavarroO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.