Cuong Kim Chau

According to our database, Cuong Kim Chau authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Formal verification of division and square root implementations, an Oracle report.

David L. Rager, Jo C. Ebergen, Dmitry Nadezhin, Austin Lee, Cuong Kim Chau, Ben Selfridge

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016