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