Formal Aspects of Component Software
10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
- Editors
- (view affiliations)
Conference proceedings
FACS 2013
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8348)
Also part of the Programming and Software Engineering book sub series (LNPSE, volume 8348)