@article{929021,
      note = {Includes author index.},
      author = {Miao, Huaikou, and Tian, Cong. and Liu, Shaoying, and  Duan, Zhenhua.},
      url = {http://library.usi.edu/record/929021},
      title = {Structured object-oriented formal language and method :  9th International Workshop, SOFL+MSVL 2019, Shenzhen,  China, November 5, 2019, Revised selected papers /.  SOFL+MSVL (Workshop)},
      publisher = {Springer,},
      recid = {929021},
      pages = {1 online resource (366 pages).},
      address = {Cham :},
      year = {2020},
}