Fibred Security Language

@article{Boella2009FibredSL,
  title={Fibred Security Language},
  author={Guido Boella and Dov M. Gabbay and Valerio Genovese and Leon van der Torre},
  journal={Studia Logica},
  year={2009},
  volume={92},
  pages={395-436}
}
11 Citations
0 References
Similar Papers