Vol-3441⫷ Vol-3442 ⫸Vol-3443
urn:nbn:de:0074-3442-0


Vol-3442/paper-20⫷Vol-3442/paper-21⫸Vol-3442/paper-22
Samuel TeuberBernhard Beckert

Formally Verified Algorithmic Fairness Using Information-Flow Tools