Amitai Irron

2003
2	EE	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	EE	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]