Search for persons
X
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice ,
3
Fun with Bitcoin Smart Contracts:
, In:
?
Lecture Notes in Computer Science; Principles of Security and Trust ,
4
SoK: Unraveling Bitcoin Smart Contracts:
, In:
?
Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good ,
5