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:

Author: Qin, S.

Department: DEAN'S OFFICE (SCHOOL OF COMPUTING)

Type: Review

Results 1-1 of 1 (Search time: 0.002 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.