- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 1 |      | 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] |