Study on assisting the formal verification of smart contracts on blockchain with evolutionary algorithms

Project Details

StatusFinished
Effective start/end date1/08/1831/07/19