=Paper=
{{Paper
|id=Vol-3442/paper-21
|storemode=property
|title=Formally Verified Algorithmic Fairness Using Information-Flow Tools
|pdfUrl=https://ceur-ws.org/Vol-3442/paper-21.pdf
|volume=Vol-3442
|authors=Samuel Teuber,Bernhard Beckert
|dblpUrl=https://dblp.org/rec/conf/ewaf/TeuberB23
}}
==Formally Verified Algorithmic Fairness Using Information-Flow Tools==
None