Author:
Heckel Reiko,Erum Zobia,Rahmi Nitia,Pul Albert
Publisher
Springer International Publishing
Reference21 articles.
1. Addison, N.: Solidity 2 UML (2021). https://github.com/naddison36/sol2uml. Accessed 1 Mar 2022
2. Alshanqiti, A., Heckel, R., Kehrer, T.: Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis. In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, pp. 816–821. Association for Computing Machinery, New York, NY, USA (2016). https://doi.org/10.1145/2970276.2970287
3. Digital Asset: DAML documentation (2021). https://docs.daml.com/index.html. Accessed 1 Mar 2022
4. Lecture Notes in Computer Science;G Engels,2006
5. Ghamarian, A.H., de Mol, M., Rensink, A., Zambon, E., Zimakova, M.: Modelling and analysis using GROOVE. Int. J. Softw. Tools Technol. Transf. 14(1), 15–40 (2012). https://doi.org/10.1007/s10009-011-0186-x
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献