@ARTICLE{
author={Urban Caterina,Subotic Pavle,Drobnjakovic Filip},
year={2025},
title={Static analysis by abstract interpretation against data leakage in machine learning},
journal={SCIENCE OF COMPUTER PROGRAMMING},
volume={246},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Arslanagic Alen,Subotic Pavle,Perez Jorge A},
year={2023},
title={Bit-Vector Typestate Analysis},
journal={FORMAL ASPECTS OF COMPUTING},
volume={35},
number={3},
pages={-},
document_type={Article},
}