| |
| 2008 | ||
|---|---|---|
| 1 | EE | 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 | Bruce M. Adcock | [1] |
| 2 | Derek Bronish | [1] |
| 3 | Paolo Bucci | [1] |
| 4 | David Frazier | [1] |
| 5 | Heather K. Harton | [1] |
| 6 | Wayne D. Heym | [1] |
| 7 | Murali Sitaraman | [1] |
| 8 | Bruce W. Weide | [1] |