iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/csur/TolmachLLLL22.rdf
Palina Tolmach et al.: A Survey of Smart Contract Formal Specification and Verification. (2022) journals/csur/TolmachLLLL22 10.1145/3464421 A Survey of Smart Contract Formal Specification and Verification. 5 Palina Tolmach 1 Yi Li 0008 2 Shangwei Lin 0001 3 Yang Liu 0003 4 Zengxiang Li 5 148:1-148:38 ACM Comput. Surv. ACM Comput. Surv. 54 7 2022 provenance information for RDF data of dblp record 'journals/csur/TolmachLLLL22' 2021-10-14T09:18:47+0200