Stacy D. Nelson

	2004
3		Stacy D. Nelson, Johann Schumann: What Makes a Code Review Trustworthy? HICSS 2004
	2002
2		Stacy D. Nelson, Charles Pecheur: Formal Verification for a Next-Generation Space Shuttle. FAABS 2002: 53-67
1		Johann Schumann, Stacy D. Nelson: Toward V&V of neural network based controllers. WOSS 2002: 67-72

Coauthor Index

1	Charles Pecheur	[2]
2	Johann Schumann	[1] [3]

Colors in the list of coauthors