Heather K. Harton

	2009
5		Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman: Generating Verified Java Components through RESOLVE. ICSR 2009: 11-20
4		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
3		Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Rich Pak: Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. ITiCSE 2009: 50-54
	2008
2		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
1		Heather K. Harton, Murali Sitaraman, Joan Krone: Formal Program Verification. Wiley Encyclopedia of Computer Science and Engineering 2008

Coauthor Index

1	Bruce M. Adcock	[2] [4]
2	Derek Bronish	[2] [4]
3	Paolo Bucci	[2]
4	Svetlana Drachova-Strang	[3]
5	David Frazier	[2] [5]
6	Jason O. Hallstrom	[3]
7	Wayne D. Heym	[2]
8	Jason Kirschenbaum	[2] [4]
9	Joan Krone	[1] [3]
10	Dana P. Leonard	[3]
11	Raghuveer Mohan	[5]
12	Rich Pak	[3]
13	Murali Sitaraman	[1] [2] [3] [4] [5]
14	Hampton Smith	[4] [5]
15	Bruce W. Weide	[2] [4]
16	Jarred White	[3]