Mark Kwan

According to our database, Mark Kwan authored at least 1 paper in 2006.

Collaborative distances:

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

2006

Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.

David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan

Int. J. Parallel Program., 2006