J. W. Freeman

	1997
2		J. W. Freeman, T. C. Darr, Richard B. Neely: Risk Assessment for Large Heterogeneous Systems. ACSAC 1997: 44-53
	1989
1		Richard B. Neely, J. W. Freeman, M. D. Krenzin: Achieving Understandable Results in a Formal Design Verification. CSFW 1989: 115-124

Coauthor Index

1	T. C. Darr	[2]
2	M. D. Krenzin	[1]
3	Richard B. Neely	[1] [2]