| |
| 1999 | ||
|---|---|---|
| 2 | EE | Paola Benassi: TRUSTe: An Online Privacy Seal Program. Commun. ACM 42(2): 56-59 (1999) |
| 1996 | ||
| 1 | Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo: Labelled Proofs for Quantified Modal Logic. JELIA 1996: 70-86 | |
| 1 | Alberto Artosi | [1] |
| 2 | Guido Governatori | [1] |
| 3 | Antonino Rotolo | [1] |