Husna Osman, Munaisyah Abdullah, Bazilah A. Talip. Formal Verification of Ad Hoc M-Commerce Trading Systems with SPIN. In Proceedings of the 12th International Conference on Ubiquitous Information Management and Communication, IMCOM 2018, Langkawi, Malaysia, January 05-07, 2018. ACM, 2018. [doi]
Abstract is missing.