Formal Aspects of Component Software
Subtitle: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2014
Language: eng
Number of pages: 385
ISBN-13: 9783319076027