{"volume":31,"language":[{"iso":"eng"}],"issue":"5","status":"public","intvolume":"        31","date_updated":"2022-01-06T06:52:45Z","page":"457-458","citation":{"ama":"Russo A, Schürr A, Wehrheim H. Editorial. <i>Formal Asp Comput</i>. 2019;31(5):457-458. doi:<a href=\"https://doi.org/10.1007/s00165-019-00495-y\">10.1007/s00165-019-00495-y</a>","apa":"Russo, A., Schürr, A., &#38; Wehrheim, H. (2019). Editorial. <i>Formal Asp. Comput.</i>, <i>31</i>(5), 457–458. <a href=\"https://doi.org/10.1007/s00165-019-00495-y\">https://doi.org/10.1007/s00165-019-00495-y</a>","ieee":"A. Russo, A. Schürr, and H. Wehrheim, “Editorial,” <i>Formal Asp. Comput.</i>, vol. 31, no. 5, pp. 457–458, 2019.","bibtex":"@article{Russo_Schürr_Wehrheim_2019, title={Editorial}, volume={31}, DOI={<a href=\"https://doi.org/10.1007/s00165-019-00495-y\">10.1007/s00165-019-00495-y</a>}, number={5}, journal={Formal Asp. Comput.}, author={Russo, Alessandra and Schürr, Andy and Wehrheim, Heike}, year={2019}, pages={457–458} }","mla":"Russo, Alessandra, et al. “Editorial.” <i>Formal Asp. Comput.</i>, vol. 31, no. 5, 2019, pp. 457–58, doi:<a href=\"https://doi.org/10.1007/s00165-019-00495-y\">10.1007/s00165-019-00495-y</a>.","short":"A. Russo, A. Schürr, H. Wehrheim, Formal Asp. Comput. 31 (2019) 457–458.","chicago":"Russo, Alessandra, Andy Schürr, and Heike Wehrheim. “Editorial.” <i>Formal Asp. Comput.</i> 31, no. 5 (2019): 457–58. <a href=\"https://doi.org/10.1007/s00165-019-00495-y\">https://doi.org/10.1007/s00165-019-00495-y</a>."},"year":"2019","publication":"Formal Asp. Comput.","date_created":"2020-03-03T08:17:44Z","author":[{"first_name":"Alessandra","last_name":"Russo","full_name":"Russo, Alessandra"},{"full_name":"Schürr, Andy","last_name":"Schürr","first_name":"Andy"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike","id":"573"}],"title":"Editorial","department":[{"_id":"34"},{"_id":"77"}],"type":"journal_article","user_id":"29719","_id":"16216","doi":"10.1007/s00165-019-00495-y"}