APA-Zitierstil (7. Ausg.)
Toshiaki Aoki, K. T. Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)
Toshiaki Aoki, Kenji Taguchi. Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings. Berlín, Alemania: Springer.
MLA-Zitierstil (9. Ausg.)
Toshiaki Aoki, Kenji Taguchi. Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings. Springer.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.