Formal Methods and Software Engineering: Proc./18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 2016

Formal Methods and Software Engineering: Proc./18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 2016Ed. by Ogata K., Lawford M., Liu S..-Berlin.: Springer, 2016.-Vol. 10009.-486 p.-(Lecture Notes in Computer Science).