Enhancing DApp Supply Chain with Verified Smart Contracts: A Case Study on the Olive-Oil Industry. - Imed E. Bennour; Mariem Hadj Wannes; Moncef Ghiss; Mohamed Braham; Asma Lahbib; Nasser Habib; Henrique Ribeiro (AICCSA, 2024)