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

@ARTICLE{
author={Arslanagic Alen,Subotic Pavle,Perez Jorge A},
year={2022},
title={Scalable Typestate Analysis for Low-Latency Environments},
journal={INTEGRATED FORMAL METHODS, IFM 2022},
volume={13274},
number={},
pages={322-340},
document_type={Proceedings Paper},
}