David Frazier

	2009
2		Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman: Generating Verified Java Components through RESOLVE. ICSR 2009: 11-20
	2008
1		Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier: Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE 2008: 84-98

Coauthor Index

1	Bruce M. Adcock	[1]
2	Derek Bronish	[1]
3	Paolo Bucci	[1]
4	Heather K. Harton	[1] [2]
5	Wayne D. Heym	[1]
6	Jason Kirschenbaum	[1]
7	Raghuveer Mohan	[2]
8	Murali Sitaraman	[1] [2]
9	Hampton Smith	[2]
10	Bruce W. Weide	[1]