David Frazier

	2011
3		Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide: Building a push-button RESOLVE verifier: Progress and challenges. Formal Asp. Comput. 23(5): 607-626 (2011)
	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] [3]
2	Jeremy Avigad	[3]
3	Derek Bronish	[1] [3]
4	Paolo Bucci	[1] [3]
5	Harvey M. Friedman (Harvey Friedman)	[3]
6	Heather K. Harton	[1] [2] [3]
7	Wayne D. Heym	[1] [3]
8	Jason Kirschenbaum	[1] [3]
9	Joan Krone	[3]
10	Raghuveer Mohan	[2]
11	Murali Sitaraman	[1] [2] [3]
12	Hampton Smith	[2] [3]
13	Bruce W. Weide	[1] [3]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page