Formal%20Specification%20and%20Verification%20of%20a%20Micropayment%20Protocol
https://www.powershow.com/view1/1f924b-ZDc1Z/Formal_20Specification_20and_20Verification_20of_20a_20Micropayment_20Protocol_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/