@inproceedings{1096,
  abstract     = {{to appear}},
  author       = {{Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}},
  booktitle    = {{Proceedings of the 40th International Conference on Software Engineering (ICSE)}},
  location     = {{Gothenburg, Sweden}},
  pages        = {{1182----1193}},
  publisher    = {{ACM}},
  title        = {{{Reducer-Based Construction of Conditional Verifiers}}},
  year         = {{2018}},
}