=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==
<pdf width="1500px">https://ceur-ws.org/Vol-3442/paper-21.pdf</pdf>
<pre>
None
</pre>