Chin, Wei-Ngan.
VIAF ID: 65088876 ( Personal )
Permalink: http://viaf.org/viaf/65088876
Preferred Forms
-
-
- 100 1 _ ‡a Chin, Wei-Ngan
- 100 1 _ ‡a Chin, Wei-Ngan
- 100 1 _ ‡a Chin, Wei-Ngan
-
Works
Title | Sources |
---|---|
Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings | |
Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings | |
Raisonnement automatisé pour la logique de séparation avec des définitions inductives | |
TASE 2009 | |
Third International Symposium on Theoretical Aspects of Software Engineering : proceedings, Tianjin, China, 29-31 July 2009 |