{"doi":"10.1007/s00165-018-00477-6","intvolume":" 31","status":"public","date_created":"2020-03-03T08:19:35Z","department":[{"_id":"34"},{"_id":"77"}],"author":[{"full_name":"Fränzle, Martin","last_name":"Fränzle","first_name":"Martin"},{"full_name":"Kapur, Deepak","last_name":"Kapur","first_name":"Deepak"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573","first_name":"Heike"},{"full_name":"Zhan, Naijun","last_name":"Zhan","first_name":"Naijun"}],"year":"2019","user_id":"29719","volume":31,"citation":{"ieee":"M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp. Comput., vol. 31, no. 1, p. 1, 2019.","short":"M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.","apa":"Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6","chicago":"Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.","bibtex":"@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31}, DOI={10.1007/s00165-018-00477-6}, number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }","mla":"Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.","ama":"Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. Formal Asp Comput. 2019;31(1):1. doi:10.1007/s00165-018-00477-6"},"type":"journal_article","page":"1","date_updated":"2022-01-06T06:52:45Z","publication":"Formal Asp. Comput.","issue":"1","_id":"16217","language":[{"iso":"eng"}],"title":"Editorial"}