@article{726756,
      note = {Includes author index.},
      author = {Liu, Shaoying, and Duan, Zhenhua,},
      url = {http://library.usi.edu/record/726756},
      title = {Structured object-oriented formal language and method 4th  International Workshop, SOFL+MSVL 2014, Luxembourg,  Luxembourg, November 6, 2014, Revised selected papers /  [electronic resource] :. SOFL+MSVL (Workshop)},
      abstract = {This book constitutes the thoroughly refereed  post-workshop proceedings of the 4th International Workshop  on Structured Object-Oriented Formal Language and Method,  SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November  2014. The 12 papers presented in this volume were carefully  reviewed and selected from 20 submissions. They are  organized in topical sections on testing and inspection;  model checking and animation; education and verification;  and semantics and analysis.},
      doi = {https://doi.org/10.1007/978-3-319-17404-4},
      recid = {726756},
      pages = {1 online resource (viii, 189 pages) :},
}