Formal aspects of component software 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /

• 作者：edited by Jose Luiz Fiadeiro, Zhiming Liu, Jinyun Xue.
• 出版者：Springer International Publishing : Imprint: Springer
• 出版地：Cham :
• 語文：英語
• 叢書名：Lecture notes in computer science,