APA-Zitierstil (7. Ausg.)

(2014). Integrated formal methods: 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings. Springer. https://doi.org/10.1007/978-3-319-10181-1

Chicago-Zitierstil (17. Ausg.)

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; Proceedings. Cham [u.a.]: Springer, 2014. https://doi.org/10.1007/978-3-319-10181-1.

MLA-Zitierstil (9. Ausg.)

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; Proceedings. Springer, 2014. https://doi.org/10.1007/978-3-319-10181-1.