Search for persons
X
?
2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) ,
5
A Smart Contract Development Framework for Maritime Transpo..:
, In:
?
2023 IEEE 31st International Conference on Network Protocols (ICNP) ,
6
Formal Analysis of IBC Protocol:
, In:
?
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis ,
9