Stack Overflow
Stack Overflow

Serge
194
reputation
6
  • Switzerland
  • Member since May 03 2020
  • 29 profile views
  • Last seen Nov 29 '22 at 19:24

For my projects, please refer to: https://github.com/vinahradau

Z/Alloy formal specification for client identifying data regulation for banks in Switzerland: https://github.com/vinahradau/finma