Daphna Amit

	2007
1		Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav: Comparison Under Abstraction for Verifying Linearizability. CAV 2007: 477-490

Coauthor Index

1	Thomas W. Reps	[1]
2	Noam Rinetzky	[1]
3	Shmuel Sagiv (Mooly Sagiv)	[1]
4	Eran Yahav	[1]