Jason Kirschenbaum

	2009
3		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
2		Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide: Traditional assignment considered harmful. OOPSLA Companion 2009: 909-916
	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] [3]
2	Derek Bronish	[1] [2] [3]
3	Paolo Bucci	[1]
4	David Frazier	[1]
5	Heather K. Harton	[1] [3]
6	Wayne D. Heym	[1] [2]
7	Scott M. Pike	[2]
8	Murali Sitaraman	[1] [3]
9	Hampton Smith	[3]
10	Bruce W. Weide	[1] [2] [3]