Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies.

Denis Kirillov, Oleg Iakushkin, Vladimir Korkhov, Vadim Petrunin

Browse the full ICCSA paper archive.