@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},
}