Formal Modeling of Banking Policies using Alloy Analyzer Institutional Repository Document uri icon

author list (cited authors)

  • Johnson, J., & Alsmadi, I.

citation count

  • 0

complete list of authors

  • Johnson, Jeremy||Alsmadi, Izzat

Book Title

  • SSRN Electronic Journal

publication date

  • January 2021