Sa Cui

According to our database, Sa Cui authored at least 1 paper in 2005.

Collaborative distances:

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

2005

ATS: A Language That Combines Programming with Theorem Proving.

Sa Cui, Kevin Donnelly, Hongwei Xi

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005