Hampton Smith

	2009
2		Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman: Generating Verified Java Components through RESOLVE. ICSR 2009: 11-20
1		Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide: Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? ICSR 2009: 31-40

Coauthor Index

1	Bruce M. Adcock	[1]
2	Derek Bronish	[1]
3	David Frazier	[2]
4	Heather K. Harton	[1] [2]
5	Jason Kirschenbaum	[1]
6	Raghuveer Mohan	[2]
7	Murali Sitaraman	[1] [2]
8	Bruce W. Weide	[1]