Showing 1 - 5 results of 5 for search 'Chin, Wei-Ngan', query time: 0.02s Refine Results
  1. 1
    Programming Languages and Systems Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings /
    Published 2004
    Other Authors: “…Chin, Wei-Ngan…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
    Published 2014
    Other Authors: “…Chin, Wei-Ngan…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs
    Published 2012
    Other Authors: “…Chin, Wei-Ngan…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 4
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
    by Bouajjani, Ahmed
    Published 2010
    Other Authors: “…Chin, Wei-Ngan…”
    Get full text
    Electronic Kit Book
  5. 5
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
    Published 2010
    Other Authors: “…Chin, Wei-Ngan…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search