[{"page":"835--836","accept":"1","language":[{"iso":"eng"}],"file":[{"file_id":"1226","access_level":"closed","date_created":"2018-03-14T13:56:48Z","relation":"main_file","date_updated":"2018-03-14T13:56:48Z","file_size":139105,"file_name":"647-LeuschelWehrheim.pdf","content_type":"application/pdf","open_access":1,"success":1,"creator":"florida"}],"type":"journal_article","project":[{"_id":"1","name":"SFB 901"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"doi":"10.1016/j.scico.2011.01.009","title":"Selected papers on Integrated Formal Methods (iFM09)","date_updated":"2019-04-11T09:42:35Z","date_created":"2017-10-17T12:42:58Z","citation":{"short":"M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.","apa":"Leuschel, M., &#38; Wehrheim, H. (2011). Selected papers on Integrated Formal Methods (iFM09). <i>Science of Computer Programming</i>, (10), 835--836. <a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">https://doi.org/10.1016/j.scico.2011.01.009</a>","chicago":"Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).” <i>Science of Computer Programming</i>, no. 10 (2011): 835--836. <a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">https://doi.org/10.1016/j.scico.2011.01.009</a>.","ama":"Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). <i>Science of Computer Programming</i>. 2011;(10):835--836. doi:<a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">10.1016/j.scico.2011.01.009</a>","ieee":"M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods (iFM09),” <i>Science of Computer Programming</i>, no. 10, pp. 835--836, 2011.","bibtex":"@article{Leuschel_Wehrheim_2011, title={Selected papers on Integrated Formal Methods (iFM09)}, DOI={<a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">10.1016/j.scico.2011.01.009</a>}, number={10}, journal={Science of Computer Programming}, publisher={Elsevier}, author={Leuschel, Michael and Wehrheim, Heike}, year={2011}, pages={835--836} }","mla":"Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).” <i>Science of Computer Programming</i>, no. 10, Elsevier, 2011, pp. 835--836, doi:<a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">10.1016/j.scico.2011.01.009</a>."},"year":"2011","_id":"647","author":[{"last_name":"Leuschel","first_name":"Michael","full_name":"Leuschel, Michael"},{"last_name":"Wehrheim","first_name":"Heike","id":"573","full_name":"Wehrheim, Heike"}],"status":"public","publisher":"Elsevier","file_date_updated":"2018-03-14T13:56:48Z","ddc":["040"],"issue":"10","department":[{"_id":"77"}],"user_id":"477","publication":"Science of Computer Programming"}]