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