Denis Kirillov, Oleg Iakushkin, Vladimir Korkhov, Vadim Petrunin. Evaluation of Tools for Analyzing Smart Contracts in Distributed Ledger Technologies. In Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena N. Stankova, Vladimir Korkhov, Carmelo Maria Torre, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino, editors, Computational Science and Its Applications - ICCSA 2019 - 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part II. Volume 11620 of Lecture Notes in Computer Science, pages 522-536, Springer, 2019. [doi]
Abstract is missing.