Nathan P. Kropp

	2003
3		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
2		Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi: Efficient Debugging in a Formal Verification Environment. CHARME 2001: 275-292
	1998
1		Nathan P. Kropp, Philip J. Koopman Jr., Daniel P. Siewiorek: Automated Robustness Testing of Off-the-Shelf Software Components. FTCS 1998: 230-239

Coauthor Index

1	Fady Copty	[2] [3]
2	Amitai Irron	[2] [3]
3	Gila Kamhi	[2] [3]
4	Philip Koopman (Phil Koopman, Philip J. Koopman Jr.)	[1]
5	Daniel P. Siewiorek	[1]
6	Osnat Weissberg	[2] [3]

Colors in the list of coauthors