1. ScholarBank@NUS

Ong Chih Hao Luke

rp00957

Collaboration Map View Statistics Email Alert RSS Feed

Profile

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

Publications


Refined By:
Author:  Ong, C.-H.L.

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

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