{"doi":"10.1007/s00165-019-00495-y","date_updated":"2022-01-06T06:52:45Z","type":"journal_article","publication":"Formal Asp. Comput.","page":"457-458","language":[{"iso":"eng"}],"issue":"5","volume":31,"_id":"16216","title":"Editorial","department":[{"_id":"34"},{"_id":"77"}],"date_created":"2020-03-03T08:17:44Z","user_id":"29719","citation":{"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>.","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>","ieee":"A. Russo, A. Schürr, and H. Wehrheim, “Editorial,” <i>Formal Asp. Comput.</i>, vol. 31, no. 5, pp. 457–458, 2019.","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>","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} }","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","status":"public","intvolume":"        31","author":[{"full_name":"Russo, Alessandra","last_name":"Russo","first_name":"Alessandra"},{"last_name":"Schürr","full_name":"Schürr, Andy","first_name":"Andy"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}]}