Hakutulokset - Shaoying Liu

  • Näytetään 1 - 2 yhteensä 2 tuloksesta
Tarkenna hakua
  1. Kansikuva

    Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / Tekijä Shaoying Liu

    Julkaistu 2013, c2013
    Ver documento en línea
    Kirja
  2. Kansikuva

    Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings / Tekijä Shaoying Liu, Tom Maibaum, Keijiro Araki

    Julkaistu 2008, c2008
    Ver documento en línea
    Kirja

Työkalut: