| 2005 | ||
|---|---|---|
| 1 | EE | Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot: A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. CAV 2005: 462-475 |
| 1 | Stephane Gaubert | [1] |
| 2 | Eric Goubault | [1] |
| 3 | Matthieu Martel | [1] |
| 4 | Sylvie Putot | [1] |