Petrović, Nenad, University of Niš, Faculty of Electronic Engineering, Niš, Republic of Serbia, Serbia
-
Vol 19, No. 1 (2020) - Regular Papers
SEMANTIC APPROACH TO SMART CONTRACT VERIFICATION
Abstract PDF
Print ISSN: 1820-6417
Online ISSN: 1820-6425