---
_id: '20278'
citation:
  ama: Ahrendt W, Wehrheim H, eds. <i>Tests and Proofs - 14th International Conference,
    TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]</i>.
    Vol 12165. Springer; 2020. doi:<a href="https://doi.org/10.1007/978-3-030-50995-8">10.1007/978-3-030-50995-8</a>
  apa: Ahrendt, W., &#38; Wehrheim, H. (Eds.). (2020). <i>Tests and Proofs - 14th
    International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    [postponed]</i> (Vol. 12165). Springer. <a href="https://doi.org/10.1007/978-3-030-50995-8">https://doi.org/10.1007/978-3-030-50995-8</a>
  bibtex: '@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science},
    title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
    Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={<a href="https://doi.org/10.1007/978-3-030-50995-8">10.1007/978-3-030-50995-8</a>},
    publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Ahrendt, Wolfgang, and Heike Wehrheim, eds. <i>Tests and Proofs - 14th
    International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    [Postponed]</i>. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020.
    <a href="https://doi.org/10.1007/978-3-030-50995-8">https://doi.org/10.1007/978-3-030-50995-8</a>.
  ieee: W. Ahrendt and H. Wehrheim, Eds., <i>Tests and Proofs - 14th International
    Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]</i>,
    vol. 12165. Springer, 2020.
  mla: Ahrendt, Wolfgang, and Heike Wehrheim, editors. <i>Tests and Proofs - 14th
    International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    [Postponed]</i>. Vol. 12165, Springer, 2020, doi:<a href="https://doi.org/10.1007/978-3-030-50995-8">10.1007/978-3-030-50995-8</a>.
  short: W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference,
    TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer,
    2020.
date_created: 2020-11-04T08:44:33Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-50995-8
editor:
- first_name: Wolfgang
  full_name: Ahrendt, Wolfgang
  last_name: Ahrendt
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
intvolume: '     12165'
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-3-030-50994-1
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway,
  June 22-23, 2020, Proceedings [postponed]
type: conference_editor
user_id: '29719'
volume: 12165
year: '2020'
...
---
_id: '21019'
citation:
  ama: Ahrendt W, Wehrheim H, eds. <i>Tests and Proofs - 14th International Conference,
    TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]</i>.
    Vol 12165. Springer; 2020. doi:<a href="https://doi.org/10.1007/978-3-030-50995-8">10.1007/978-3-030-50995-8</a>
  apa: Ahrendt, W., &#38; Wehrheim, H. (Eds.). (2020). <i>Tests and Proofs - 14th
    International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    [postponed]</i> (Vol. 12165). Springer. <a href="https://doi.org/10.1007/978-3-030-50995-8">https://doi.org/10.1007/978-3-030-50995-8</a>
  bibtex: '@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science},
    title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
    Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={<a href="https://doi.org/10.1007/978-3-030-50995-8">10.1007/978-3-030-50995-8</a>},
    publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Ahrendt, Wolfgang, and Heike Wehrheim, eds. <i>Tests and Proofs - 14th
    International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    [Postponed]</i>. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020.
    <a href="https://doi.org/10.1007/978-3-030-50995-8">https://doi.org/10.1007/978-3-030-50995-8</a>.
  ieee: W. Ahrendt and H. Wehrheim, Eds., <i>Tests and Proofs - 14th International
    Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]</i>,
    vol. 12165. Springer, 2020.
  mla: Ahrendt, Wolfgang, and Heike Wehrheim, editors. <i>Tests and Proofs - 14th
    International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
    [Postponed]</i>. Vol. 12165, Springer, 2020, doi:<a href="https://doi.org/10.1007/978-3-030-50995-8">10.1007/978-3-030-50995-8</a>.
  short: W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference,
    TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer,
    2020.
date_created: 2021-01-19T10:35:37Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '77'
doi: 10.1007/978-3-030-50995-8
editor:
- first_name: Wolfgang
  full_name: Ahrendt, Wolfgang
  last_name: Ahrendt
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
intvolume: '     12165'
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-3-030-50994-1
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway,
  June 22-23, 2020, Proceedings [postponed]
type: conference_editor
user_id: '29719'
volume: 12165
year: '2020'
...