Wei Ngan Chin

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Wei Ngan Chin

Variants

Chin, W.-N.
Chin, W.N.
Chin, Wei-Ngan

Main Affiliation

DEAN'S OFFICE (SCHOOL OF COMPUTING)
DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcscwn@nus.edu.sg

Results 1-3 of 3 (Search time: 0.004 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	2012	Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop: Foreword	Chin, W.-N. ; Hobor, A.
2	2014	Foreword	Chin, W.-N. ; Hage, J.
3	2012	Automated verification of shape, size and bag properties via user-defined predicates in separation logic	Chin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.