Amitai Irron

	2003
2		Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi: Efficient debugging in a formal verification environment. STTT 4(3): 335-348 (2003)
	2001
1		Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi: Efficient Debugging in a Formal Verification Environment. CHARME 2001: 275-292

Coauthor Index

1	Fady Copty	[1] [2]
2	Gila Kamhi	[1] [2]
3	Nathan P. Kropp	[1] [2]
4	Osnat Weissberg	[1] [2]