[{"date_created":"2020-11-04T08:44:33Z","type":"conference_editor","department":[{"_id":"77"}],"citation":{"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} }","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>","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.","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.","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>","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>."},"language":[{"iso":"eng"}],"_id":"20278","series_title":"Lecture Notes in Computer Science","publisher":"Springer","user_id":"29719","doi":"10.1007/978-3-030-50995-8","volume":12165,"editor":[{"first_name":"Wolfgang","last_name":"Ahrendt","full_name":"Ahrendt, Wolfgang"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"year":"2020","title":"Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]","status":"public","publication_identifier":{"isbn":["978-3-030-50994-1"]},"date_updated":"2022-01-06T06:54:25Z","intvolume":"     12165"},{"series_title":"Lecture Notes in Computer Science","_id":"21019","publisher":"Springer","language":[{"iso":"eng"}],"editor":[{"full_name":"Ahrendt, Wolfgang","first_name":"Wolfgang","last_name":"Ahrendt"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"volume":12165,"doi":"10.1007/978-3-030-50995-8","user_id":"29719","publication_identifier":{"isbn":["978-3-030-50994-1"]},"title":"Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]","year":"2020","status":"public","intvolume":"     12165","date_updated":"2022-01-06T06:54:42Z","date_created":"2021-01-19T10:35:37Z","department":[{"_id":"77"}],"type":"conference_editor","citation":{"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} }","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>","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>.","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>.","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.","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.","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>"}}]