| Original language | English |
|---|---|
| Journal | Studia Logica |
| Publication status | Published - 2009 |
Fibred Security Language
G Beolla, Dov Gabbay, v Genovese, L van der Torre
Research output: Contribution to journal › Article › peer-review
G Beolla, Dov Gabbay, v Genovese, L van der Torre
Research output: Contribution to journal › Article › peer-review
| Original language | English |
|---|---|
| Journal | Studia Logica |
| Publication status | Published - 2009 |