Toshiaki Aoki, e. (2012). Formal methods and software engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings. Springer-Verlag.
Chicago Style CitationToshiaki Aoki, editor. Formal Methods and Software Engineering: 14th International Conference On Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : Proceedings. Springer-Verlag, 2012.
MLA CitationToshiaki Aoki, editor. Formal Methods and Software Engineering: 14th International Conference On Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : Proceedings. Springer-Verlag, 2012.
Warning: These citations may not always be 100% accurate.