Towards a Formal Specification of an Electronic Payment System in CSP-CASL
2009 ◽
Vol 11
(1)
◽
pp. 27-43
Keyword(s):
2021 ◽
Vol 649
(1)
◽
pp. 012042
2018 ◽
Vol 6
(1)
◽
pp. 21-27
◽
Keyword(s):