A Refactoring for Data Minimisation Using Formal Verification.

Florian Lanzinger, Mattias Ulbrich, Alexander Weigl

Browse the full ISoLA paper archive.