- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Ming Kawaguchi, Patrick M. Rondon, Ranjit Jhala: Type-based data structure verification. PLDI 2009: 304-315 |
| 2008 | ||
| 1 | | Patrick M. Rondon, Ming Kawaguchi, Ranjit Jhala: Liquid types. PLDI 2008: 159-169 |
| 1 | Ranjit Jhala | [1] [2] |
| 2 | Patrick M. Rondon | [1] [2] |