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