Formal Modeling of Banking Policies using Alloy Analyzer Academic Article uri icon

author list (cited authors)

  • Johnson, J., & Alsmadi, I.

complete list of authors

  • Johnson, Jeremy||Alsmadi, Izzat

publication date

  • October 2021