IEEE International Conference on Formal Engineering Methods Durham, England, SpringerLink (Online service), Qin, S., & Qiu, Z. (2011). Formal methods and software engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)IEEE International Conference on Formal Engineering Methods Durham, England, SpringerLink (Online service), Shengchao Qin, und Zongyan Qiu. Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Berlin, Heidelberg: Springer, 2011.
MLA-Zitierstil (9. Ausg.)IEEE International Conference on Formal Engineering Methods Durham, England, et al. Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Springer, 2011.