Formally Verified Algorithmic Fairness Using Information-Flow Tools

Download PDF

Samuel Teuber, Bernhard Beckert

Published: 01 Jan 2023, Last Modified: 04 Aug 2024EWAF 2023EveryoneRevisionsBibTeXCC BY-SA 4.0