Structured object-oriented formal language and method third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
作者:edited by Shaoying Liu, Zhenhua Duan.
出版者:Springer International Publishing : Imprint: Springer