Giulia Matricardi

According to our database, Giulia Matricardi authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Towards Benchmarking of Solidity Verification Tools.

Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

Visualizing CHC Verification Conditions for Smart Contracts Auditing.

Marco Di Ianni, Fabio Fioravanti, Giulia Matricardi

Proceedings of the 39th Italian Conference on Computational Logic, 2024