1. Research with MATF

Banković, Milan

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Banković, Milan
Main Affiliation
 
ORCID
 
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Bibliometrics

Total Citations
SCOPUSTM

16
checked on Nov 6, 2025

Works indexed in
SCOPUSTM

7
checked on Nov 6, 2025

Publications


Results 1-1 of 1 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)Rank
12012ArgoSMTExpression: an SMT-LIB 2.0 compliant expression libraryBanković, Milan M34