Search for persons
X
?
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis ,
3
iSyn: Semi-automated Smart Contract Synthesis from Legal Fi..:
, In:
?
2022 IEEE Symposium on Security and Privacy (SP) ,
11