Enhancing Robustness of Smart Contracts Through Declarations. - R. K. Shyamasundar; Snehal Borse; Mohammad Ummair (ICBC, 2024)