Skip to main navigation Skip to search Skip to main content

Fibred security language

  • Guido Boella
  • , Dov M. Gabbay
  • , Valerio Genovese
  • , Leendert van der Torre
  • University of Turin
  • King's College London
  • University of Luxembourg

Research output: Contribution to journal › Article › peer-review

14 Scopus citations

Fingerprint

Dive into the research topics of 'Fibred security language'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science