- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman: Generating Verified Java Components through RESOLVE. ICSR 2009: 11-20 |
| 1 | David Frazier | [1] |
| 2 | Heather K. Harton | [1] |
| 3 | Murali Sitaraman | [1] |
| 4 | Hampton Smith | [1] |