Full Name
Ong Chih Hao Luke
Variants
Ong, C.-H.L.
 
 
Faculty
 

Publications

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

Issue DateTitleAuthor(s)
12002Model checking Algol-like languages using game semanticsOng, C.-H.L.