- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 1 |      | Matthew Finifter, Adrian Mettler, Naveen Sastry, David Wagner: Verifiable functional purity in java. ACM Conference on Computer and Communications Security 2008: 161-174 |
| 1 | Adrian Mettler | [1] |
| 2 | Naveen Sastry | [1] |
| 3 | David Wagner | [1] |