BibTeX record conf/vamos/BordisRKTS20

• > Home > conf/vamos/BordisRKTS20

@inproceedings{DBLP:conf/vamos/BordisRKTS20,
  author       = {Tabea Bordis and
                  Tobias Runge and
                  Alexander Kn{\"{u}}ppel and
                  Thomas Th{\"{u}}m and
                  Ina Schaefer},
  editor       = {Maxime Cordy and
                  Mathieu Acher and
                  Danilo Beuche and
                  Gunter Saake},
  title        = {Variational correctness-by-construction},
  booktitle    = {VaMoS '20: 14th International Working Conference on Variability Modelling
                  of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020},
  pages        = {7:1--7:9},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3377024.3377038},
  doi          = {10.1145/3377024.3377038},
  timestamp    = {Sat, 08 Feb 2020 14:50:56 +0100},
  biburl       = {https://dblp.org/rec/conf/vamos/BordisRKTS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}