Enhancing Robustness of Smart Contracts Through Declarations.

R. K. Shyamasundar, Snehal Borse, Mohammad Ummair

Browse the full ICBC paper archive.