| |
| 2002 | ||
|---|---|---|
| 1 | EE | David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes: Formal verification methods: getting around the brick wall. DAC 2002: 576-577 |
| 1 | Gérard Berry | [1] |
| 2 | David L. Dill | [1] |
| 3 | Limor Fix | [1] |
| 4 | Harry Foster | [1] |
| 5 | Nate James | [1] |
| 6 | Rajeev K. Ranjan | [1] |
| 7 | Shishpal Rawat | [1] |
| 8 | Gunnar Stålmarck | [1] |