{"language":[{"iso":"eng"}],"issue":"1","doi":"10.1007/s00165-018-00477-6","publication":"Formal Asp. Comput.","type":"journal_article","date_updated":"2022-01-06T06:52:45Z","page":"1","year":"2019","intvolume":" 31","status":"public","author":[{"full_name":"Fränzle, Martin","last_name":"Fränzle","first_name":"Martin"},{"full_name":"Kapur, Deepak","last_name":"Kapur","first_name":"Deepak"},{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"},{"full_name":"Zhan, Naijun","last_name":"Zhan","first_name":"Naijun"}],"volume":31,"department":[{"_id":"34"},{"_id":"77"}],"title":"Editorial","_id":"16217","date_created":"2020-03-03T08:19:35Z","citation":{"mla":"Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi: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} }","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","ieee":"M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp. Comput., vol. 31, no. 1, p. 1, 2019.","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.","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"},"user_id":"29719"}