Methods, I. C. o. F. E., Liu, S., Maibaum, T. S. E., & Araki, K. (200). Formal methods and software rngineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008: Proceedings. Springer.
শিকাগো স্টাইলে সাইটেশনMethods, International Conference on Formal Engineering, Shaoying Liu, T. S. E. Maibaum, এবং Keijiro Araki. Formal Methods and Software Rngineering 10th International Conference On Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008: Proceedings. Springer, 200.
এমএলএ সাইটেশনMethods, International Conference on Formal Engineering, Shaoying Liu, T. S. E. Maibaum, এবং Keijiro Araki. Formal Methods and Software Rngineering 10th International Conference On Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008: Proceedings. Springer, 200.