FM Oslo. (2015). FM 2015: Formal methods: 20th International Symposium, Oslo, Norway, June 24 - 26, 2015 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)FM Oslo. FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 - 26, 2015 ; Proceedings. Cham [u.a.]: Springer, 2015.
MLA-Zitierstil (9. Ausg.)FM Oslo. FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 - 26, 2015 ; Proceedings. Springer, 2015.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.