Jin Song Dong, H. Z. Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings. Springer.
Успешно скопировано в буфер обмена
Ошибка копирования в буфер обмена
Цитирование в стиле Чикаго (17-е изд.)
Jin Song Dong, Huibiao Zhu. Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings. Berlín, Alemania: Springer.
Успешно скопировано в буфер обмена
Ошибка копирования в буфер обмена
Цитирование MLA (9-е изд.)
Jin Song Dong, Huibiao Zhu. Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings. Springer.
Успешно скопировано в буфер обмена
Ошибка копирования в буфер обмена
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.