#
cid
Here are 2 public repositories matching this topic...
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
Improve this page
Add a description, image, and links to the cid topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the cid topic, visit your repo's landing page and select "manage topics."