{"type":"conference_editor","date_updated":"2022-01-06T06:54:25Z","doi":"10.1007/978-3-030-50995-8","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"date_created":"2020-11-04T08:44:33Z","editor":[{"full_name":"Ahrendt, Wolfgang","last_name":"Ahrendt","first_name":"Wolfgang"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"citation":{"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>.","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>","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.","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.","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} }"},"user_id":"29719","volume":12165,"department":[{"_id":"77"}],"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]","_id":"20278","publisher":"Springer","year":"2020","intvolume":"     12165","status":"public"}