( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Benchmarking of Solidity Verification Tools.

, , , , и . FMBC@CAV, том 118 из OASIcs, стр. 6:1-6:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Massimo Viola

Massimo Malagó

Massimo Tallarida

Massimo Moser

Massimo Busin

 

Другие публикации лиц с тем же именем

Developing Honest Java Programs with Diogenes., и . FORTE, том 9688 из Lecture Notes in Computer Science, стр. 52-61. Springer, (2016)SoK: Lending Pools in Decentralized Finance., , и . CoRR, (2020)A Minimal Core Calculus for Solidity Contracts., , и . DPM/CBT@ESORICS, том 11737 из Lecture Notes in Computer Science, стр. 233-243. Springer, (2019)A theory of transaction parallelism in blockchains., , и . CoRR, (2020)MEV-Freedom, in DeFi and Beyond (Invited Talk).. FMBC@CAV, том 105 из OASIcs, стр. 1:1-1:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Contracts as games on event structures., , , и . J. Log. Algebraic Methods Program., 85 (3): 399-424 (2016)Models of Circular Causality., , , и . ICDCIT, том 8956 из Lecture Notes in Computer Science, стр. 1-20. Springer, (2015)Renegotiation and Recursion in Bitcoin Contracts., , и . COORDINATION, том 12134 из Lecture Notes in Computer Science, стр. 261-278. Springer, (2020)Vicious circles in contracts and in logic., , , и . Sci. Comput. Program., (2015)Modelling and Verifying Contract-Oriented Systems in Maude., , , и . WRLA, том 8663 из Lecture Notes in Computer Science, стр. 130-146. Springer, (2014)