Found: 2
Select item for more details and to access through your institution.
Axiomatising an information flow logic based on partial equivalence relations.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 445, doi. 10.1007/s10009-024-00756-z
- By:
- Publication type:
- Article
Proof-directed program transformation: A functional account of efficient regular expression matching.
- Published in:
- Journal of Functional Programming, 2021, v. 31, n. 1/2, p. 1, doi. 10.1017/S0956796820000295
- By:
- Publication type:
- Article