@article{1437231,
      note = {Includes author index.},
      author = {Xue, Jinyun, and Nagoya, Fumiko, and Liu, Shaoying, and  Duan, Zhenhua,},
      url = {http://library.usi.edu/record/1437231},
      title = {Structured object-oriented formal language and method :  10th International Workshop, SOFL+MSVL 2020, Singapore,  March 1, 2021, Revised selected papers /. SOFL+MSVL  (Workshop)},
      publisher = {Springer,},
      abstract = {This book constitutes the refereed workshop proceedings of  the 10th International Workshop on Structured  Object-Oriented Formal Language and Method, SOFL+MSVL 2020,  held in Singapore, in March 2021. The 13 revised full  papers included in the volume were carefully reviewed and  selected from 24 submissions. They are organized in the  following topical sections: modeling and specification;  model checking; specification and verification; and testing  and formal verification. Due to the Corona pandemic this  event was held virtually.},
      doi = {https://doi.org/10.1007/978-3-030-77474-5},
      recid = {1437231},
      pages = {1 online resource},
      address = {Cham :},
      year = {2021},
}