Publications
# | | Year | Author(s) [non member] | | Title | Type | |
1 |
| Pitz, Werner |
| |
7 |
| |
3 |
| Plotkin, Gordon (ed.) |
| |
1 |
| |
1 |
| Pnueli, Amir |
| |
65 |
| |
5 |
| Podelski, Andreas (ed.) |
| |
1 |
| |
1 |
| Pons, Olivier |
| |
1 |
| |
1 |
| Porteous, Julie |
| |
2 |
| |
5 |
| Prade, Henri (ed.) |
| |
1 |
| |
1 |
| Pratt-Hartmann, Ian |
| |
3 |
| |
5 |
| Prevosto, Virgile |
| |
1 |
| |
1 |
| Radermacher, F. J. |
| |
1 |
| |
3 |
| Rajamani, Sriram K. |
| |
1 |
| |
1 |
| Ramakrishnan, I.V. (ed.) |
| |
1 |
| |
1 |
| Ramanujam, R (ed.) |
| |
1 |
| |
1 |
| Raskin, Jean-François |
| |
1 |
| |
1 |
| Ras, Z. (ed.) |
| |
12 |
| |