Formal Aspects of Component Software: Revised Selected Papers/10th International Symposium, FACS 2013, Nanchang, China, October 2013

Formal Aspects of Component Software: Revised Selected Papers/10th International Symposium, FACS 2013, Nanchang, China, October 2013Ed. by Fiadeiro J. L., Liu Z., Xue J..-Berlin.: Springer, 2014.-Vol. 8348.-385 p.-(Lecture Notes in Computer Science).