Mark Kwan

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. Int. J. Parallel Program. 34 (1) (2006)