I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Provably Correct Smart Contracts: An Approach using DeepSEA:

, In: Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity,
Britten, Daniel ; Sjöberg, Vilhelm ; Reeves, Steve - p. 5-6 , 2022
Link: https://dl.acm.org/doi/10.1145/3563768.3564116