Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers - Fiadeiro, José Luiz. (Springer International Publishing,)