1. ScholarBank@NUS

Nguyen Huu Hai

rp02508

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
Nguyen Huu Hai
(not current staff)
Variants
Nguyen, H.H.
 
Main Affiliation
 
Faculty
 
Email
dcsnhh@nus.edu.sg
 

Publications

Refined By:
Author:  Qin, S.
Date Issued:  [2000 TO 2009]
Subject:  enhanced subsumption

Results 1-1 of 1 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)
12008Enhancing modular OO verification with separation logicChin, W.-N. ; David, C.; Nguyen, H.H. ; Qin, S.