---
_id: '1096'
abstract:
- lang: eng
  text: to appear
author:
- first_name: Dirk
  full_name: Beyer, Dirk
  last_name: Beyer
- first_name: Marie-Christine
  full_name: Jakobs, Marie-Christine
  last_name: Jakobs
- first_name: Thomas
  full_name: Lemberger, Thomas
  last_name: Lemberger
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Reducer-Based Construction of
    Conditional Verifiers. In: <i>Proceedings of the 40th International Conference
    on Software Engineering (ICSE)</i>. ACM; 2018:1182--1193.'
  apa: 'Beyer, D., Jakobs, M.-C., Lemberger, T., &#38; Wehrheim, H. (2018). Reducer-Based
    Construction of Conditional Verifiers. In <i>Proceedings of the 40th International
    Conference on Software Engineering (ICSE)</i> (pp. 1182--1193). Gothenburg, Sweden:
    ACM.'
  bibtex: '@inproceedings{Beyer_Jakobs_Lemberger_Wehrheim_2018, title={Reducer-Based
    Construction of Conditional Verifiers}, booktitle={Proceedings of the 40th International
    Conference on Software Engineering (ICSE)}, publisher={ACM}, author={Beyer, Dirk
    and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}, year={2018},
    pages={1182--1193} }'
  chicago: Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim.
    “Reducer-Based Construction of Conditional Verifiers.” In <i>Proceedings of the
    40th International Conference on Software Engineering (ICSE)</i>, 1182--1193.
    ACM, 2018.
  ieee: D. Beyer, M.-C. Jakobs, T. Lemberger, and H. Wehrheim, “Reducer-Based Construction
    of Conditional Verifiers,” in <i>Proceedings of the 40th International Conference
    on Software Engineering (ICSE)</i>, Gothenburg, Sweden, 2018, pp. 1182--1193.
  mla: Beyer, Dirk, et al. “Reducer-Based Construction of Conditional Verifiers.”
    <i>Proceedings of the 40th International Conference on Software Engineering (ICSE)</i>,
    ACM, 2018, pp. 1182--1193.
  short: 'D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the
    40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.'
conference:
  end_date: 2018-06-03
  location: Gothenburg, Sweden
  name: 40th International Conference on Software Engineering
  start_date: 2018-05-27
date_created: 2018-01-08T10:52:51Z
date_updated: 2022-01-06T06:50:54Z
ddc:
- '000'
department:
- _id: '77'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-11-21T10:50:51Z
  date_updated: 2018-11-21T10:50:51Z
  file_id: '5783'
  file_name: Reducer-Based Construction of Conditional Verifiers.pdf
  file_size: 826719
  relation: main_file
  success: 1
file_date_updated: 2018-11-21T10:50:51Z
has_accepted_license: '1'
language:
- iso: eng
page: 1182--1193
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '85'
  name: Kooperative Softwareverifikation
publication: Proceedings of the 40th International Conference on Software Engineering
  (ICSE)
publisher: ACM
status: public
title: Reducer-Based Construction of Conditional Verifiers
type: conference
user_id: '29719'
year: '2018'
...