Резултати

еНаука >  Резултати >  Semantic Approach to Smart Contract Verification
Назив: Semantic Approach to Smart Contract Verification
Аутори: Petrović, Nenad  ; Tošić, Milorad  
Година: 2020
Публикација: Facta Universitatis
ISSN: 1820-6417 Facta Universitatis: Series Automatic Control and Robotics Претражи идентификатор
Издавач: Niš : University of Niš
Тип резултата: Научни чланак
Колација: vol. 19 br. 1 str. 21-21
DOI: 10.22190/FUACR2001021P
VBS COBISS: 34511369
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/34511369#izum.si
https://enauka.gov.rs/handle/123456789/665317
М-категорија: 
51M51 - Рад у врхунском часопису нац. значаја

1
OpenCitations
Алт метрика
Dimensions

Пронађи DOI
Unpaywall

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.