Selected papers on Integrated Formal Methods (iFM09)

M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.

Download
Restricted 647-LeuschelWehrheim.pdf 139.10 KB
Journal Article | English
Author
Leuschel, Michael; Wehrheim, HeikeLibreCat
Publishing Year
Journal Title
Science of Computer Programming
Issue
10
Page
835--836
LibreCat-ID
647

Cite this

Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming. 2011;(10):835--836. doi:10.1016/j.scico.2011.01.009
Leuschel, M., & Wehrheim, H. (2011). Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming, (10), 835--836. https://doi.org/10.1016/j.scico.2011.01.009
@article{Leuschel_Wehrheim_2011, title={Selected papers on Integrated Formal Methods (iFM09)}, DOI={10.1016/j.scico.2011.01.009}, number={10}, journal={Science of Computer Programming}, publisher={Elsevier}, author={Leuschel, Michael and Wehrheim, Heike}, year={2011}, pages={835--836} }
Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).” Science of Computer Programming, no. 10 (2011): 835--836. https://doi.org/10.1016/j.scico.2011.01.009.
M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods (iFM09),” Science of Computer Programming, no. 10, pp. 835--836, 2011.
Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).” Science of Computer Programming, no. 10, Elsevier, 2011, pp. 835--836, doi:10.1016/j.scico.2011.01.009.
Main File(s)
File Name
647-LeuschelWehrheim.pdf 139.10 KB
Access Level
Restricted Closed Access
Last Uploaded
2018-03-14T13:56:48Z


Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar