| |
| 2001 | ||
|---|---|---|
| 1 | Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser: Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187 | |
| 1 | Matthew B. Dwyer | [1] |
| 2 | John Hatcliff | [1] |
| 3 | Shawn Laubach | [1] |
| 4 | Corina S. Pasareanu | [1] |
| 5 | Robby | [1] |
| 6 | Willem Visser | [1] |
| 7 | Hongjun Zheng | [1] |