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