David W. Currie

	2006
3		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)
	2003
2		Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie: ZML: XML Support for Standard Z. ZB 2003: 437-456
	2000
1		David W. Currie, Alan J. Hu, Sreeranga P. Rajan: Automatic formal verification of DSP software. DAC 2000: 130-135

Coauthor Index

1	Nicholas Daley	[2]
2	Jin Song Dong	[2]
3	Xiushan Feng	[3]
4	Masahiro Fujita	[3]
5	Alan J. Hu	[1] [3]
6	Mark Kwan	[3]
7	Andrew Martin	[2]
8	Sreeranga P. Rajan	[1] [3]
9	Jing Sun	[2]
10	Ian Toyn	[2]
11	Mark Utting	[2]

Colors in the list of coauthors