Formal Aspects of Component Software: Revised Selected Papers/13th International Conference, FACS 2016, Besancon, France, October 2016

Formal Aspects of Component Software: Revised Selected Papers/13th International Conference, FACS 2016, Besancon, France, October 2016Ed. by Kouchnarenko O., Khosravi R..-Berlin.: Springer, 2017.-Vol. 10231.-281 p.-(Lecture Notes in Computer Science).