Publications
Export 4 results:
Author Title Type [ Year
Filters: First Letter Of Title is S and Author is Matteo Marescotti [Clear All Filters]
A Solicitous Approach to Smart Contract Verification,
, ACM Transactions on Privacy and Security, (2022)
SMTS: Distributed, Visualized Constraint Solving,
, {LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, (2018)
Search-Space Partitioning for Parallelizing SMT Solvers,
, SAT 2015, (2015)
Search-Space Partitioning for Parallelizing SMT Solvers,
, MEMICS2015, (2015)