APA Цитирование

Hutchison, D., Araki, K., Kanade, T., Kittler, J., Kleinberg, J. M., Liu, S., . . . Weikum, G. (2008). Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Springer eBooks.

Chicago-стиль цитирования

Hutchison, David, et al. "Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings." Springer EBooks 2008.

MLA-цитирование

Hutchison, David, et al. "Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings." Springer EBooks, 2008.