regulierung

There are 0 repository under regulierung topic.

• vinahradau / finma

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

  formal-verificationcidswitzerlandfinmaclient-identifying-datajazaspecificationspecification-languagez-notationsschweizbankenbanksrundschreibenregulierungfinancefinanzenz-notationcztkundendatenalloy-analyzer
  Language:Alloy 2