Anduo Wang

	2009
2		Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky: Declarative Network Verification. PADL 2009: 61-75
	2006
1		Anduo Wang, Fei He, Ming Gu, Xiaoyu Song: Verifying Java Programs By Theorem Prover HOL. COMPSAC (1) 2006: 139-142

Coauthor Index

1	Prithwish Basu	[2]
2	Ming Gu	[1]
3	Fei He	[1]
4	Boon Thau Loo	[2]
5	Oleg Sokolsky	[2]
6	Xiaoyu Song	[1]

Colors in the list of coauthors