BibTeX record conf/icse/NeubauerSBWMMH12

• > Home > conf/icse/NeubauerSBWMMH12

@inproceedings{DBLP:conf/icse/NeubauerSBWMMH12,
  author       = {Johannes Neubauer and
                  Bernhard Steffen and
                  Oliver Bauer and
                  Stephan Windm{\"{u}}ller and
                  Maik Merten and
                  Tiziana Margaria and
                  Falk Howar},
  editor       = {Stefania Gnesi and
                  Stefan Gruner and
                  Nico Plat and
                  Bernhard Rumpe},
  title        = {Automated continuous quality assurance},
  booktitle    = {Proceedings of the First International Workshop on Formal Methods
                  in Software Engineering - Rigorous and Agile Approaches, FormSERA
                  2012, Zurich, Switzerland, June 2, 2012},
  pages        = {37--43},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/FormSERA.2012.6229787},
  doi          = {10.1109/FORMSERA.2012.6229787},
  timestamp    = {Thu, 23 Mar 2023 23:58:12 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/NeubauerSBWMMH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}