- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide: Abstracting Pointers for a Verifying Compiler. SEW 2007: 204-213 |
| 1 | Gregory Kulczycki | [1] |
| 2 | Murali Sitaraman | [1] |
| 3 | Bruce W. Weide | [1] |