Z/Alloy formal specification for client identifying data regulation for banks in Switzerland
finance
switzerland
specification
banks
cid
formal-verification
banken
specification-language
z-notations
schweiz
finanzen
alloy-analyzer
finma
client-identifying-data
jaza
rundschreiben
regulierung
z-notation
czt
kundendaten
-
Updated
Jul 4, 2020 - Alloy