| |
| 2006 | ||
|---|---|---|
| 1 | EE | David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan: Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. International Journal of Parallel Programming 34(1): 61-91 (2006) |
| 1 | David W. Currie | [1] |
| 2 | Xiushan Feng | [1] |
| 3 | Masahiro Fujita | [1] |
| 4 | Alan J. Hu | [1] |
| 5 | Sreeranga P. Rajan | [1] |