| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Salvo, Ivano; Sassone, Vladimiro | A Type Inference Algorithm for Secure Ambients | 2002 | Electronic Notes in Theoretical Computer Science | Elsevier | 10.1016/S1571-0661(04)00321-4 | 62 | 83-101 |