Nguyen Huu Hai

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

Nguyen Huu Hai

(not current staff)

Variants

Nguyen, H.H.

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcsnhh@nus.edu.sg

Refined By:

Department: DEAN'S OFFICE (SCHOOL OF COMPUTING)

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

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

	Issue Date	Title	Author(s)
1	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.
2	2008	Enhancing modular OO verification with separation logic	Chin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
3	2008	Enhancing modular OO verification with separation logic	Chin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.
4	2008	Enhancing program verification with lemmas	Nguyen, H.H. ; Chin, W.-N.