Keng Chai Ong

According to our database, Keng Chai Ong authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Automatic verification of active device drivers.

Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu

ACM SIGOPS Oper. Syst. Rev., 2014