Formal Methods and Software Engineering: Proc./14th International Conference on Formal Engineering Mathods, ICFEM 2012, Kyoto, Japan, November 2012

Б2.2, Б3.54.

Formal Methods and Software Engineering: Proc./14th International Conference on Formal Engineering Mathods, ICFEM 2012, Kyoto, Japan, November 2012Ed. by Aoki T., Taguchi K..-Berlin.: Springer, 2012.-Vol. 7635.-512 p.-(Lecture Notes in Computer Science).