Axiomatising an information flow logic based on partial equivalence relations.

MLA

Filinski, Andrzej, et al. “Axiomatising an Information Flow Logic Based on Partial Equivalence Relations.” International Journal on Software Tools for Technology Transfer, vol. 26, no. 4, Aug. 2024, pp. 445–61. EBSCOhost, https://doi.org/10.1007/s10009-024-00756-z.

APA

Filinski, A., Larsen, K. F., & Jensen, T. P. (2024). Axiomatising an information flow logic based on partial equivalence relations. International Journal on Software Tools for Technology Transfer, 26(4), 445–461. https://doi.org/10.1007/s10009-024-00756-z

Chicago

Filinski, Andrzej, Ken Friis Larsen, and Thomas P. Jensen. 2024. “Axiomatising an Information Flow Logic Based on Partial Equivalence Relations.” International Journal on Software Tools for Technology Transfer 26 (4): 445–61. doi:10.1007/s10009-024-00756-z.