Wei-Ngan Chin profile picture

Wei-Ngan Chin

Is this your author profile? Create an account to customize it!

Stand Alone

Proceedings of the 14th Workshop on Formal Techniques for Java-Like Programs
Programming Languages and Systems Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
Programming Languages and Systems Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Programming Languages and Systems Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
Theoretical Aspects of Software Engineering 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Third International Symposium on Theoretical Aspects of Software Engineering : Proceedings, Tianjin, China, 29-31 July 2009
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Theoretical Aspects of Software Engineering
Theoretical Aspects of Software Engineering 18th International Symposium, TASE 2024, Guiyang, China, July 29-August 1, 2024 : Proceedings