APA-ийн эшлэл(7 дахь хэвлэлт)
Shaoying Liu, T. M. Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings. Springer.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)
Shaoying Liu, Tom Maibaum. Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings. Berlín, Alemania: Springer.
MLA -ийн эшлэл (9 дэх хэвлэлт)
Shaoying Liu, Tom Maibaum. Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings. Springer.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.