| |
| 2008 | ||
|---|---|---|
| 2 | 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 | EE | Heather K. Harton, Murali Sitaraman, Joan Krone: Formal Program Verification. Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 1 | Bruce M. Adcock | [2] |
| 2 | Derek Bronish | [2] |
| 3 | Paolo Bucci | [2] |
| 4 | David Frazier | [2] |
| 5 | Wayne D. Heym | [2] |
| 6 | Jason Kirschenbaum | [2] |
| 7 | Joan Krone | [1] |
| 8 | Murali Sitaraman | [1] [2] |
| 9 | Bruce W. Weide | [2] |