受强制性开放获取政策约束的文章 - Maria A Schett了解详情
可在其他位置公开访问的文章：3 篇
Synthesis of Super-Optimized Smart Contracts Using Max-SMT
E Albert, P Gordillo, A Rubio, MA Schett
International Conference on Computer Aided Verification, 177-200, 2020
强制性开放获取政策： Government of Spain
Embedding a Deterministic BFT Protocol in a Block DAG
MA Schett, G Danezis
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing …, 2021
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Super-Optimization of Smart Contracts
E Albert, P Gordillo, A Hernández-Cerezo, A Rubio, MA Schett
ACM Transactions on Software Engineering and Methodology, 2021
强制性开放获取政策： Government of Spain
出版信息和资助信息由计算机程序自动确定