1 paper
Sangharatna Godboley, P. Radha Krishna, Sunkara Sri Harika +1
We propose and develop a framework for validating smart contracts derived from e-contracts. The goal is to ensure the generated smart contracts fulfil all the conditions outlined i…