vinahradau

finma

Z/Alloy formal specification for client identifying data regulation for banks in Switzerland

misc