Jiazhao Xu

	2001
1		Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck: Parameterized Verification with Automatically Computed Inductive Assertions. CAV 2001: 221-234

Coauthor Index

1	Tamarah Arons	[1]
2	Amir Pnueli	[1]
3	Sitvanit Ruah	[1]
4	Lenore D. Zuck	[1]