Autori: Subotic Pavle
| Naslov | Static analysis by abstract interpretation against data leakage in machine learning (Article) |
| Autori | Urban Caterina Subotic Pavle Drobnjakovic Filip |
| Info | SCIENCE OF COMPUTER PROGRAMMING, (2025), vol. 246 br. , str. - |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Bit-Vector Typestate Analysis (Article) |
| Autori | Arslanagic Alen Subotic Pavle Perez Jorge A |
| Info | FORMAL ASPECTS OF COMPUTING, (2023), vol. 35 br. 3, str. - |
| Projekat | Dutch Research Council (NWO) [016] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
