Verification of Smart Contract Code Generated by Applying Artificial Intelligence.

Volodymyr Peschanenko, Maksym Poltorackiy, Olga Konnova

Browse the full ICTERI paper archive.