published in Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee... Journal
presented at event 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) Conference
keywords Automation & Control Systems Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods DAML Science & Technology Smart contracts Solidity Technology access control model-driven engineering