BibTeX record conf/sac/BrauF21

download as .bib file

@inproceedings{DBLP:conf/sac/BrauF21,
  author    = {Guillaume Brau and
               Mohammed Foughali},
  editor    = {Chih{-}Cheng Hung and
               Jiman Hong and
               Alessio Bechini and
               Eunjee Song},
  title     = {Contract-based verification of model transformations: a formally founded
               approach},
  booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
               Event, Republic of Korea, March 22-26, 2021},
  pages     = {1559--1568},
  publisher = {{ACM}},
  year      = {2021},
  url       = {https://doi.org/10.1145/3412841.3442031},
  doi       = {10.1145/3412841.3442031},
  timestamp = {Mon, 03 May 2021 14:35:13 +0200},
  biburl    = {https://dblp.org/rec/conf/sac/BrauF21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics