Showing 1 - 3 results of 3 for search 'Shao, Zhong', query time: 0.03s Narrow Search
  1. 1
    Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    Published 2014
    Other Authors: “…Shao, Zhong…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings
    Published 2007
    Other Authors: “…Shao, Zhong…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
    Published 2011
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: