Резултати 1-2 од 2
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2026An Approach to Efficient Reduction of Ethereum's Turing-CompletenessTrifunović, Petar ; Gajić, Dušan B.  ; Horvat, Nebojša  ; Vukić, Nikola  ; Petrović, Veljko B.  ; Dragan, Dinu  Научни чланак
22M22 - Међународни часопис категорије M22
2025LLM-Based Tooling for Smart Contract AuditingVukić, Nikola  ; Petrović, Veljko B.  ; Dragan, Dinu  ; Gajić, Dušan B.  Конференцијски рад
Мп категорија ће бити приказана накнадно.