Categorical Information Flow

DOI10.1007/978-3-030-31175-9_19MaRDI QIDQ6489031FDOQ6489031

Georg Struth, Carroll Morgan, Tahiry Rabehaja, Annabelle McIver

Publication date: 14 March 2024

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Categorical Information Flow

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489031)