Publisher
Springer International Publishing
Reference37 articles.
1. Conference on Financial Cryptography and Data Security (FC). Springer, LNCS (1997 onwards)
2. Workshop on Trustworthy Smart Contracts (WTSC). Springer, LNCS (2016 onwards)
3. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. CUP (1996)
4. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. CUP (2010)
5. Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in event-B. Int. J. Soft. Tools Tech. Trans. 12, 447–466 (2010)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Survey of Smart Contract Formal Specification and Verification;ACM Computing Surveys;2022-09-30
2. Representation of Smart Contracts as State Diagrams;2021 IEEE/ACS 18th International Conference on Computer Systems and Applications (AICCSA);2021-11
3. Formalizing the Transaction Flow Process of Hyperledger Fabric;Formal Methods and Software Engineering;2020