Cite
HARVARD Citation
Tian, C. et al. (eds.) (2018) Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers. [Online]. Cham : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100073362438.0x000001