2017 : Formal verification of automated teller machine systems using SPIN

Dr. Imam Mukhlash S.Si., MT.
Dieky Adzkiya S.Si, M.Si
Mohammad Iqbal S.Si., M.Si.


Abstract

- not available -