Showing 1 - 9 results of 9 for search 'Liu, Shaoying', query time: 0.03s Refine Results
  1. 1
    Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
    Published 2013
    Other Authors: “…Liu, Shaoying…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
    Published 2016
    Other Authors: “…Liu, Shaoying…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Published 2015
    Other Authors: “…Liu, Shaoying…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Published 2014
    Other Authors: “…Liu, Shaoying…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
    Published 2016
    Other Authors: “…Liu, Shaoying…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
    Published 2008
    Other Authors: “…Liu, Shaoying…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
    Published 2018
    Other Authors: “…Liu, Shaoying…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
    Published 2019
    Other Authors: “…Liu, Shaoying…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
    Published 2017
    Other Authors: “…Liu, Shaoying…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search