Jinyun Xue

1 published title

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

(Contributor)

1 edition